Как это делается

@taras atavin · Регистрация: 24.11.2009

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

Даётся задача, её надо решить на каком нибудь языке программирования, то есть написать на этом языке программу, решающую данную задачу, а проверка полностью поручается компьютеру. Возможно ли это? Как делается? Компиляция компиляцией, но если просто давануть F9 в среде разработки, то надо сидеть за машиной и самому оценивать поведение программы. А как обойтись вообще без человека на этапе проверки?

@solar_wind · 03.02.2011, 06:18

1 вариант: Посадить терминатора на проверку. А если дать ему еще и дробовик, то неправильных программ не будет )

2 вариант: Закачать на комп эмулятор искусственного интеллекта. Сидит программист, пишет, а ему в колонки "ну кто так пишет, кто так пишет,..... а памяти то, памяти сколько сожрал..."

@taras atavin · 03.02.2011, 06:22 **[ТС]**

Интеллект здесь причём? Проверка исходника же не требуется, а нужен прогон. Сформулирую так: даётся задача, её надо решить на каком нибудь языке программирования, то есть написать на этом языке программу, решающую данную задачу, на этапе проверки надо обойтись без участия интеллекта, будь он искусственного, или естественного происхождения, а поручить её компьютеру под управлением формально работающей программы.

@solar_wind · 03.02.2011, 06:26

taras atavin, Так для прогона тоже пригодиться ))

@taras atavin · 03.02.2011, 06:39 **[ТС]**

Задача заранее известна, $https://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow$ заранее известны ввод и вывод. Надо сравнить поведение двух программ, одна из них написана при подготовке задания. Как сделать этот прогон с сопоставлением? Причём, надо предусмотреть ввод данных и использование генератора случайных чисел. То есть, допустимы такие задачи: "Выведите на экран подсказку ко вводу: x=, запросите ввод числа с клавиатуры, после ввода вычислите синус введённого числа и выведите на экран ответ: sin(<>)=<>, где на месте первых треугольных скобок должно быть повторено введённое с клавиатуры число, а на месте вторых треугольных скобок должно быть значение синуса этого числа, причём, оба числа в ответе должны занимать по десять символов и иметь точность четыре знака после запятой" и "выведете на экран десять псевдослучайных чисел, отсортированных по возрастанию". Как сделать такую проверку?

@solar_wind · 03.02.2011, 06:47

taras atavin, Если серьезно, то теоритически это реально. Перехватить ввод и вывод программы можно, да это уже умеют делать те же анализаторы утечек.
Дальше остается анализ данных, если есть программа-эталон или определены какие то правила, которым должна удовлетворять поведение программы, то тут подойдут например нейронные сети. Обучаешь сеть и запускаешь потом тестируемую программу, входные данные формирует например генератор случайных чисел, с большой долей вероятности программа будет проверена как надо, если сеть хорошо обучена.

@taras atavin · 03.02.2011, 07:17 **[ТС]**

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

то тут подойдут например нейронные сети.

Ты вообще читаешь, или сочиняешь?

Сообщение от taras atavin

под управлением формально работающей программы.

. Как формализовать ввод с подсказками и проверку?

@solar_wind · 03.02.2011, 07:39

taras atavin, Ты имеешь ввиду формализовать условия задач? Это вполне возможно так же, конечные автоматы позволяют произвести формализацию многих задач. Естественно тот кто будет писать условия должен все таки придерживаться некоторых правил написания, иначе есть шанс что конечный автомат не сможет корректно распознать его писанину.

Вся проблема в том что для реализации такого проекта понадобятся серьезные вычислительные мощности, ну если ставить широкую задачу, иначе все это будет медленно работать.

@Андрей Борисови · 03.02.2011, 08:29

Ребят

Все делается намного проще. Например - олимпиадная задача всегда звучит примерно так: "Из файла 1.txt считать данные.... [само задание по обработке]... Выдать результат в файл 2.txt".
Все. Пишешь прогу в 2 строки - если в фале 2.txt не то - решение неверно

.

@solar_wind · 03.02.2011, 08:34

Андрей Борисови, Ну тоже вариант, но все зависит от конкретной задачи, иногда результат может быть неоднозначный.

taras atavin, А я сначала решил что ты угораешь, а то раздел выбрал несерьезный )

Новые блоги и статьи Все статьи Все блоги /
Новый ноутбук 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 . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025	Расскажи мне о Мире, бродяга kumehtar 12.11.2025 — Расскажи мне о Мире, бродяга, Ты же видел моря и метели. Как сменялись короны и стяги, Как эпохи стрелою летели. - Этот мир — это крылья и горы, Снег и пламя, любовь и тревоги, И бескрайние. . .

@taras atavin 4226 / 1796 / 211 Регистрация: 24.11.2009 Сообщений: 27,562

	Как это делается 03.02.2011, 06:00. Показов 839. Ответов 9 Метки нет (Все метки) Даётся задача, её надо решить на каком нибудь языке программирования, то есть написать на этом языке программу, решающую данную задачу, а проверка полностью поручается компьютеру. Возможно ли это? Как делается? Компиляция компиляцией, но если просто давануть F9 в среде разработки, то надо сидеть за машиной и самому оценивать поведение программы. А как обойтись вообще без человека на этапе проверки? 0

@solar_wind 770 / 760 / 59 Регистрация: 06.07.2009 Сообщений: 3,021
	03.02.2011, 06:18
	1 вариант: Посадить терминатора на проверку. А если дать ему еще и дробовик, то неправильных программ не будет ) 2 вариант: Закачать на комп эмулятор искусственного интеллекта. Сидит программист, пишет, а ему в колонки "ну кто так пишет, кто так пишет,..... а памяти то, памяти сколько сожрал..." 0

@taras atavin 4226 / 1796 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	03.02.2011, 06:22 [ТС]
	Интеллект здесь причём? Проверка исходника же не требуется, а нужен прогон. Сформулирую так: даётся задача, её надо решить на каком нибудь языке программирования, то есть написать на этом языке программу, решающую данную задачу, на этапе проверки надо обойтись без участия интеллекта, будь он искусственного, или естественного происхождения, а поручить её компьютеру под управлением формально работающей программы. 0

@solar_wind 770 / 760 / 59 Регистрация: 06.07.2009 Сообщений: 3,021
	03.02.2011, 06:26
	taras atavin, Так для прогона тоже пригодиться )) 0

@taras atavin 4226 / 1796 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	03.02.2011, 06:39 [ТС]
	Задача заранее известна, $https://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow$ заранее известны ввод и вывод. Надо сравнить поведение двух программ, одна из них написана при подготовке задания. Как сделать этот прогон с сопоставлением? Причём, надо предусмотреть ввод данных и использование генератора случайных чисел. То есть, допустимы такие задачи: "Выведите на экран подсказку ко вводу: x=, запросите ввод числа с клавиатуры, после ввода вычислите синус введённого числа и выведите на экран ответ: sin(<>)=<>, где на месте первых треугольных скобок должно быть повторено введённое с клавиатуры число, а на месте вторых треугольных скобок должно быть значение синуса этого числа, причём, оба числа в ответе должны занимать по десять символов и иметь точность четыре знака после запятой" и "выведете на экран десять псевдослучайных чисел, отсортированных по возрастанию". Как сделать такую проверку? 0

@solar_wind 770 / 760 / 59 Регистрация: 06.07.2009 Сообщений: 3,021
	03.02.2011, 06:47
	taras atavin, Если серьезно, то теоритически это реально. Перехватить ввод и вывод программы можно, да это уже умеют делать те же анализаторы утечек. Дальше остается анализ данных, если есть программа-эталон или определены какие то правила, которым должна удовлетворять поведение программы, то тут подойдут например нейронные сети. Обучаешь сеть и запускаешь потом тестируемую программу, входные данные формирует например генератор случайных чисел, с большой долей вероятности программа будет проверена как надо, если сеть хорошо обучена. 0

@solar_wind 770 / 760 / 59 Регистрация: 06.07.2009 Сообщений: 3,021
	03.02.2011, 07:39
	taras atavin, Ты имеешь ввиду формализовать условия задач? Это вполне возможно так же, конечные автоматы позволяют произвести формализацию многих задач. Естественно тот кто будет писать условия должен все таки придерживаться некоторых правил написания, иначе есть шанс что конечный автомат не сможет корректно распознать его писанину. Вся проблема в том что для реализации такого проекта понадобятся серьезные вычислительные мощности, ну если ставить широкую задачу, иначе все это будет медленно работать. 0

@Андрей Борисови 714 / 402 / 33 Регистрация: 04.10.2009 Сообщений: 1,686
	03.02.2011, 08:29
	Ребят Все делается намного проще. Например - олимпиадная задача всегда звучит примерно так: "Из файла 1.txt считать данные.... [само задание по обработке]... Выдать результат в файл 2.txt". Все. Пишешь прогу в 2 строки - если в фале 2.txt не то - решение неверно . 0

@solar_wind 770 / 760 / 59 Регистрация: 06.07.2009 Сообщений: 3,021
	03.02.2011, 08:34
	Андрей Борисови, Ну тоже вариант, но все зависит от конкретной задачи, иногда результат может быть неоднозначный. taras atavin, А я сначала решил что ты угораешь, а то раздел выбрал несерьезный ) 0