Парсинг файла .cnf

@Victorianec · Регистрация: 09.01.2014

Студворк — интернет-сервис помощи студентам

Доброго времени суток, уважаемые форумчане.
Помогите, пожалуйста, конкретным кодом к вот такой подзадаче: нужно прочитать .cnf файл - структурированный файл представления КНФ (вроде не отличается от .txt), который внутри имеет такую структуру:
с \
с \
с строки комментариев, могут и отсутствовать
с /
с /
p cnf 10 15 //15 значит что вниз будет еще 15 строк - 15 клауз, 10 - 10 конъюнктов
1 2 0 //0 - признак конца строки
-2 4 8 0
3 7 0
...
-7 9 0

Нужно прочитать этот файл, проигнорировать/удалить комментарии, записать 10 в переменную А, 15 в переменную В, а каждую следующую строку в двумерный массив int из 15 строк и не суть важно скольких столбцов (их количество в каждой строке может быть разное).
Очень надеюсь на вашу помощь - это нужно для диплома, который мне через 5 дней защищать((

alsav22 · 09.01.2014, 07:32

То есть, найти в файле строки, которые начинаются с: p cnf, прочитать третье слово(число, unsigned int(?)) такой строки в A, четвёртое(число, unsigned int(?)) в B, данные (числа, int(?)), которые следуют за этой строкой (B строк, конец строки 0, количество чисел в строке незвестно, но общее количество чисел для записи в массив равно A(?)), записать в двумерный массив под A(?) элементов. Так?

@Victorianec · 09.01.2014, 07:56 **[ТС]**

Сообщение от alsav22

То есть, найти в файле строки, которые начинаются с: p cnf, прочитать третье слово(число, unsigned int(?)) такой строки в A, четвёртое(число, unsigned int(?)) в B, данные (числа, int(?)), которые следуют за этой строкой (B строк, конец строки 0, количество чисел в строке незвестно, но общее количество чисел для записи в массив равно A(?)), записать в двумерный массив под A(?) элементов. Так?

Верно. В качестве уточнения: строка p cnf одна, глубина двумерного массива фиксированная, равна В, ну из уже увиденных фалов кнф в одной строке больше 3-4 чисел, имеющих значение, не бывает. А вот значение А порядка 65000-70000, для В = 200000-250000. Т.е. массив получится примерно 200000х3 или 200000х4

alsav22 · 09.01.2014, 08:22

Сообщение от Victorianec

из уже увиденных фалов кнф в одной строке больше 3-4 чисел, имеющих значение, не бывает.

Насчёт 0 - признак конца строки. Строки с числами заканчиваются '\n', т.е.: 1 2 0 '\n'-2 4 8 0 '\n..., или (без пробела перед '\n') 1 2 0'\n'-2 4 8 0'\n..., или без '\n': 1 2 0 -2 4 8 0 ... ?

@Victorianec · 09.01.2014, 08:45 **[ТС]**

затрудняюсь ответить. Во вложении файл для примера

alsav22 · 09.01.2014, 08:52

Непонятно что выложили. Почему ярлык?

@gazlan · 09.01.2014, 10:21

Если я правильно понял ваше описание, достаточно выделить память под одномерный массив A[k] (для вашего файла k = 70139 * 228634) и прочесть в него все строки подряд - без разделителей. Эту же память можно представить как двумерный массив A[i][j], используя переход k = 70139 * i + j. (i = 0..228633, j = 0..70138). Пропуск комментариев и парсинг единственной строчки с размерностями тривиален.

@Victorianec · 09.01.2014, 10:47 **[ТС]**

Сообщение от alsav22

Непонятно что выложили. Почему ярлык?

это не ярлык, это файл, открывается, к примеру, блокнотом

alsav22 · 09.01.2014, 11:13

Сообщение от Victorianec

это не ярлык, это файл, открывается, к примеру, блокнотом

Скачайте и проверьте, как он открывается.

Добавлено через 2 минуты
После извлечения, этот, якобы, файл вот так выглядит.

alsav22 · 09.01.2014, 11:14

Если это не ярлык, то тогда что?

@gazlan · 09.01.2014, 11:24

Сообщение от alsav22

тогда что?

Это RAR-архив c текстовым файлом внутри. Проверьте, что у вас не было ошибки при скачивании.

Code
1
2
3
4
5
6
7
8
Archive: gus-md5-16.rar
Details: RAR 4
 
 Attributes      Size    Packed Ratio   Date   Time   Checksum  Name
----------- ---------  -------- ----- -------- -----  --------  ----
    ..A....   4226486    904626  21%  30-03-09 17:12  ABFA9464  gus-md5-16.cnf
----------- ---------  -------- ----- -------- -----  --------  ----
              4226486    904626  21%                            1

alsav22 · 09.01.2014, 11:26

В чём дело с этим файлом не пойму. Расширение, почему-то, у него не видно. Приделываю к нему .txt, блокнотом не открывается, hex-редактором открывается, но с расширением .cnf.

Добавлено через 2 минуты

Сообщение от gazlan

Проверьте, что у вас не было ошибки при скачивании.

Размер соответствует: 4226486.

@gazlan · 09.01.2014, 11:28

Сообщение от alsav22

но с расширением .cnf

Это, как раз, законно - оно, и в самом деле, '.cnf'

Все это удобно делать в FAR - и распаковывать, и смотреть, и редактировать.

alsav22 · 09.01.2014, 11:42

Сообщение от gazlan

Все это удобно делать в FAR - и распаковывать, и смотреть, и редактировать.

Кому удобдо в FAR, пусть и делает. Такой хоккей нам не нужен...

Добавлено через 7 минут
В самом WinRAR получилось файл просмотреть. Ответ на свои вопросы получил: в конце каждой строки '\n' (сразу после 0).

Добавлено через 1 минуту

Сообщение от gazlan

Если я правильно понял ваше описание, достаточно выделить память под одномерный массив A[k] (для вашего файла k = 70139 * 228634)

ТС молчит, какой ему массив нужен, одномерный или двумерный.

@Victorianec · 09.01.2014, 11:44 **[ТС]**

Мне для дальнейшей обработки (написания компактного ГА) нужно чтобы каждое значимое число строки было отдельно и доступно. Поэтому мне нужен двумерный массив.

alsav22 · 09.01.2014, 11:45

Сообщение от Victorianec

Мне для дальнейшей обработки (написания компактного ГА) нужно чтобы каждое значимое число строки было отдельно и доступно. Поэтому мне нужен двумерный массив.

А в одномерном массиве разве какие-то числа будут недоступны?

@Victorianec · 09.01.2014, 11:54 **[ТС]**

Сообщение от alsav22

А в одномерном массиве разве какие-то числа будут недоступны?

Доступ к двумерному массиву для меня будет гораздо удобнее. Если именно это вызывает сложность - я буду рад хотя бы любому результату. Если вы спрашиваете более из любопытства - тогда объясню на конкретном примере: каждая строчка - это клауза КНФ, к примеру, первые сколько-то там строк в которых только по одному конъюнкту найти и обработать не сложно, дальше когда в одной строке будет 2-3 конъюнкта мне нужно будет их вместе обрабатывать (по правилам булевой алгебры 1 или 2 или 3) и "достучаться" к ним по одному индексу будет гораздо удобнее, чем хранить для каждого, к какому конъюнкту он принадлежит или с какими другими связан логической связью.

alsav22 · 09.01.2014, 12:00

gazlan, я только не понял, почему одномерный массив должен быть размера 70139 * 228634? Или описание ТС неверно (или я неправильно понял).

p cnf 70139 228634

Victorianec, что эти числа обозначают?

Добавлено через 3 минуты

Сообщение от Victorianec

Если вы спрашиваете более из любопытства

Любопытство тут не при чём. Сделать здесь чтение в одномерный массив - элементарно, в двумерный - уже сложнее.

Добавлено через 1 минуту
Понял, что нужен двумерный.

@Victorianec · 09.01.2014, 12:01 **[ТС]**

Victorianec, что эти числа обозначают?

Изначально вы поняли правильно, 228634 - количество клауз - строк которые будут ниже, каждая уникальна; 70139 - количество литералов - чисел которые встречаются внутри клауз, могут повторяться, их количество на массив не влияет и его нужно только один раз вычитать в переменную, больше никаких действий с ним не нужно. Количество чисел в строке не более 3. Я, кажется, даже 4 не встречал

alsav22 · 09.01.2014, 12:02

Сообщение от Victorianec

каждая строчка - это клауза КНФ

Если каждая строчка - это клауза, тогда, наверное, наоборот (по сравнению с описанием в первом посте):
70139 клауз, 228634 чисел? Строк(клауз) не может же быть меньше, чем чисел?

Новые блоги и статьи Все статьи Все блоги /
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

@Victorianec 21 / 21 / 6 Регистрация: 09.01.2014 Сообщений: 118

	Парсинг файла .cnf 09.01.2014, 07:05. Показов 2562. Ответов 24 Метки нет (Все метки) Доброго времени суток, уважаемые форумчане. Помогите, пожалуйста, конкретным кодом к вот такой подзадаче: нужно прочитать .cnf файл - структурированный файл представления КНФ (вроде не отличается от .txt), который внутри имеет такую структуру: с \ с \ с строки комментариев, могут и отсутствовать с / с / p cnf 10 15 //15 значит что вниз будет еще 15 строк - 15 клауз, 10 - 10 конъюнктов 1 2 0 //0 - признак конца строки -2 4 8 0 3 7 0 ... -7 9 0 Нужно прочитать этот файл, проигнорировать/удалить комментарии, записать 10 в переменную А, 15 в переменную В, а каждую следующую строку в двумерный массив int из 15 строк и не суть важно скольких столбцов (их количество в каждой строке может быть разное). Очень надеюсь на вашу помощь - это нужно для диплома, который мне через 5 дней защищать(( 0

alsav22 5499 / 4894 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	09.01.2014, 07:32
	То есть, найти в файле строки, которые начинаются с: p cnf, прочитать третье слово(число, unsigned int(?)) такой строки в A, четвёртое(число, unsigned int(?)) в B, данные (числа, int(?)), которые следуют за этой строкой (B строк, конец строки 0, количество чисел в строке незвестно, но общее количество чисел для записи в массив равно A(?)), записать в двумерный массив под A(?) элементов. Так? 1

alsav22 5499 / 4894 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	09.01.2014, 08:52
	Непонятно что выложили. Почему ярлык? 0

@gazlan 3176 / 1935 / 312 Регистрация: 27.08.2010 Сообщений: 5,131 Записей в блоге: 1
	09.01.2014, 10:21
	Если я правильно понял ваше описание, достаточно выделить память под одномерный массив A[k] (для вашего файла k = 70139 * 228634) и прочесть в него все строки подряд - без разделителей. Эту же память можно представить как двумерный массив A[i][j], используя переход k = 70139 * i + j. (i = 0..228633, j = 0..70138). Пропуск комментариев и парсинг единственной строчки с размерностями тривиален. 0

alsav22 5499 / 4894 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	09.01.2014, 11:14
	Если это не ярлык, то тогда что? 0

@Victorianec 21 / 21 / 6 Регистрация: 09.01.2014 Сообщений: 118
	09.01.2014, 11:44 [ТС]
	Мне для дальнейшей обработки (написания компактного ГА) нужно чтобы каждое значимое число строки было отдельно и доступно. Поэтому мне нужен двумерный массив. 0