Форум программистов, компьютерный форум CyberForum.ru

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

Восстановить пароль Регистрация
 
 
Victorianec
20 / 20 / 6
Регистрация: 09.01.2014
Сообщений: 118
09.01.2014, 07:05     Парсинг файла .cnf #1
Доброго времени суток, уважаемые форумчане.
Помогите, пожалуйста, конкретным кодом к вот такой подзадаче: нужно прочитать .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 дней защищать((
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
09.01.2014, 07:05     Парсинг файла .cnf
Посмотрите здесь:

Парсинг C++
C++ Парсинг
C++ Парсинг файла игнорирует числа
C++ Парсинг строк из файла
Парсинг файла C++
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
alsav22
5282 / 4801 / 442
Регистрация: 04.06.2011
Сообщений: 13,587
09.01.2014, 07:32     Парсинг файла .cnf #2
То есть, найти в файле строки, которые начинаются с: p cnf, прочитать третье слово(число, unsigned int(?)) такой строки в A, четвёртое(число, unsigned int(?)) в B, данные (числа, int(?)), которые следуют за этой строкой (B строк, конец строки 0, количество чисел в строке незвестно, но общее количество чисел для записи в массив равно A(?)), записать в двумерный массив под A(?) элементов. Так?
Victorianec
20 / 20 / 6
Регистрация: 09.01.2014
Сообщений: 118
09.01.2014, 07:56  [ТС]     Парсинг файла .cnf #3
Цитата Сообщение от 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
5282 / 4801 / 442
Регистрация: 04.06.2011
Сообщений: 13,587
09.01.2014, 08:22     Парсинг файла .cnf #4
Цитата Сообщение от 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
20 / 20 / 6
Регистрация: 09.01.2014
Сообщений: 118
09.01.2014, 08:45  [ТС]     Парсинг файла .cnf #5
затрудняюсь ответить. Во вложении файл для примера
Вложения
Тип файла: rar gus-md5-16.rar (883.5 Кб, 8 просмотров)
alsav22
5282 / 4801 / 442
Регистрация: 04.06.2011
Сообщений: 13,587
09.01.2014, 08:52     Парсинг файла .cnf #6
Непонятно что выложили. Почему ярлык?
gazlan
2861 / 1809 / 272
Регистрация: 27.08.2010
Сообщений: 4,897
Записей в блоге: 1
09.01.2014, 10:21     Парсинг файла .cnf #7
Если я правильно понял ваше описание, достаточно выделить память под одномерный массив A[k] (для вашего файла k = 70139 * 228634) и прочесть в него все строки подряд - без разделителей. Эту же память можно представить как двумерный массив A[i][j], используя переход k = 70139 * i + j. (i = 0..228633, j = 0..70138). Пропуск комментариев и парсинг единственной строчки с размерностями тривиален.
Victorianec
20 / 20 / 6
Регистрация: 09.01.2014
Сообщений: 118
09.01.2014, 10:47  [ТС]     Парсинг файла .cnf #8
Цитата Сообщение от alsav22 Посмотреть сообщение
Непонятно что выложили. Почему ярлык?
это не ярлык, это файл, открывается, к примеру, блокнотом
alsav22
5282 / 4801 / 442
Регистрация: 04.06.2011
Сообщений: 13,587
09.01.2014, 11:13     Парсинг файла .cnf #9
Цитата Сообщение от Victorianec Посмотреть сообщение
это не ярлык, это файл, открывается, к примеру, блокнотом
Скачайте и проверьте, как он открывается.

Добавлено через 2 минуты
После извлечения, этот, якобы, файл вот так выглядит.
Миниатюры
Парсинг файла .cnf  
alsav22
5282 / 4801 / 442
Регистрация: 04.06.2011
Сообщений: 13,587
09.01.2014, 11:14     Парсинг файла .cnf #10
Если это не ярлык, то тогда что?
gazlan
2861 / 1809 / 272
Регистрация: 27.08.2010
Сообщений: 4,897
Записей в блоге: 1
09.01.2014, 11:24     Парсинг файла .cnf #11
Цитата Сообщение от alsav22 Посмотреть сообщение
тогда что?
Это RAR-архив c текстовым файлом внутри. Проверьте, что у вас не было ошибки при скачивании.

Код
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
5282 / 4801 / 442
Регистрация: 04.06.2011
Сообщений: 13,587
09.01.2014, 11:26     Парсинг файла .cnf #12
В чём дело с этим файлом не пойму. Расширение, почему-то, у него не видно. Приделываю к нему .txt, блокнотом не открывается, hex-редактором открывается, но с расширением .cnf.

Добавлено через 2 минуты
Цитата Сообщение от gazlan Посмотреть сообщение
Проверьте, что у вас не было ошибки при скачивании.
Размер соответствует: 4226486.
gazlan
2861 / 1809 / 272
Регистрация: 27.08.2010
Сообщений: 4,897
Записей в блоге: 1
09.01.2014, 11:28     Парсинг файла .cnf #13
Цитата Сообщение от alsav22 Посмотреть сообщение
но с расширением .cnf
Это, как раз, законно - оно, и в самом деле, '.cnf'

Все это удобно делать в FAR - и распаковывать, и смотреть, и редактировать.
alsav22
5282 / 4801 / 442
Регистрация: 04.06.2011
Сообщений: 13,587
09.01.2014, 11:42     Парсинг файла .cnf #14
Цитата Сообщение от gazlan Посмотреть сообщение
Все это удобно делать в FAR - и распаковывать, и смотреть, и редактировать.
Кому удобдо в FAR, пусть и делает. Такой хоккей нам не нужен...

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

Добавлено через 1 минуту
Цитата Сообщение от gazlan Посмотреть сообщение
Если я правильно понял ваше описание, достаточно выделить память под одномерный массив A[k] (для вашего файла k = 70139 * 228634)
ТС молчит, какой ему массив нужен, одномерный или двумерный.
Victorianec
20 / 20 / 6
Регистрация: 09.01.2014
Сообщений: 118
09.01.2014, 11:44  [ТС]     Парсинг файла .cnf #15
Мне для дальнейшей обработки (написания компактного ГА) нужно чтобы каждое значимое число строки было отдельно и доступно. Поэтому мне нужен двумерный массив.
alsav22
5282 / 4801 / 442
Регистрация: 04.06.2011
Сообщений: 13,587
09.01.2014, 11:45     Парсинг файла .cnf #16
Цитата Сообщение от Victorianec Посмотреть сообщение
Мне для дальнейшей обработки (написания компактного ГА) нужно чтобы каждое значимое число строки было отдельно и доступно. Поэтому мне нужен двумерный массив.
А в одномерном массиве разве какие-то числа будут недоступны?
Victorianec
20 / 20 / 6
Регистрация: 09.01.2014
Сообщений: 118
09.01.2014, 11:54  [ТС]     Парсинг файла .cnf #17
Цитата Сообщение от alsav22 Посмотреть сообщение
А в одномерном массиве разве какие-то числа будут недоступны?
Доступ к двумерному массиву для меня будет гораздо удобнее. Если именно это вызывает сложность - я буду рад хотя бы любому результату. Если вы спрашиваете более из любопытства - тогда объясню на конкретном примере: каждая строчка - это клауза КНФ, к примеру, первые сколько-то там строк в которых только по одному конъюнкту найти и обработать не сложно, дальше когда в одной строке будет 2-3 конъюнкта мне нужно будет их вместе обрабатывать (по правилам булевой алгебры 1 или 2 или 3) и "достучаться" к ним по одному индексу будет гораздо удобнее, чем хранить для каждого, к какому конъюнкту он принадлежит или с какими другими связан логической связью.
alsav22
5282 / 4801 / 442
Регистрация: 04.06.2011
Сообщений: 13,587
09.01.2014, 12:00     Парсинг файла .cnf #18
gazlan, я только не понял, почему одномерный массив должен быть размера 70139 * 228634? Или описание ТС неверно (или я неправильно понял).
p cnf 70139 228634
Victorianec, что эти числа обозначают?

Добавлено через 3 минуты
Цитата Сообщение от Victorianec Посмотреть сообщение
Если вы спрашиваете более из любопытства
Любопытство тут не при чём. Сделать здесь чтение в одномерный массив - элементарно, в двумерный - уже сложнее.

Добавлено через 1 минуту
Понял, что нужен двумерный.
Victorianec
20 / 20 / 6
Регистрация: 09.01.2014
Сообщений: 118
09.01.2014, 12:01  [ТС]     Парсинг файла .cnf #19
Victorianec, что эти числа обозначают?
Изначально вы поняли правильно, 228634 - количество клауз - строк которые будут ниже, каждая уникальна; 70139 - количество литералов - чисел которые встречаются внутри клауз, могут повторяться, их количество на массив не влияет и его нужно только один раз вычитать в переменную, больше никаких действий с ним не нужно. Количество чисел в строке не более 3. Я, кажется, даже 4 не встречал
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
09.01.2014, 12:02     Парсинг файла .cnf
Еще ссылки по теме:

C++ Парсинг файла
typdef struct + парсинг из файла C++
Парсинг из файла и суммирование столбца C++

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
alsav22
5282 / 4801 / 442
Регистрация: 04.06.2011
Сообщений: 13,587
09.01.2014, 12:02     Парсинг файла .cnf #20
Цитата Сообщение от Victorianec Посмотреть сообщение
каждая строчка - это клауза КНФ
Если каждая строчка - это клауза, тогда, наверное, наоборот (по сравнению с описанием в первом посте):
70139 клауз, 228634 чисел? Строк(клауз) не может же быть меньше, чем чисел?
Yandex
Объявления
09.01.2014, 12:02     Парсинг файла .cnf
Ответ Создать тему
Опции темы

Текущее время: 19:25. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru