На этом форуме отвечают на конкретные вопросы. Фраза «я не понимаю, как решать» — это не вопрос. На вопрос «как решить задачу №X» вас отошлют к материалам сайта kpolyakov.spb.ru. За бессвязный поток слов и неспособность формулировать свои мысли — бан.

Если у вас не сходится ответ на какую-то задачу, пожалуйста сразу представляйте свое «правильное» решение.
Программы "заворачивайте" в тэг [pre2]...[/pre2], при этом сохраняются все отступы и применяется моноширинный шрифт. Если у вас используется сочетание "[i]" для обозначения элемента массива или строки, ставьте пробел после открывающей скобки. Иначе система выделит все дальнейшее курсивом.

Для регистрации на форуме щелкните по ссылке «Вход-регистрация» вверху страницы. В открывшееся окошко «ник» введите свою фамилию на русском языке (например, Иванов). В окошко «пароль» введите придуманный вами пароль, состоящий из латинских букв и цифр. Поставьте галочку в окошке «зарегистрироваться, я новый участник» и нажмите кнопку «ОК».

АвторСообщение



Сообщение: 8
ссылка на сообщение  Отправлено: 10.05.23 14:39. Заголовок: Линия 15. Задача 6158. ошибка в ответе


(№ 6158) (Д. Статный) Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». На числовой прямой даны три отрезка: P = [257, 356], Q = [5, 600] и R = [59, 228]. Какова минимальная длина отрезка A, при котором формула
((x ∈ R) → (x ∈ A)) ∨ ((ДЕЛ(x, 3) → (x ∈ P)) → ((x ∈ Q) → (x ∈ A)))
тождественно истинна, то есть принимает значение 1 при любом натуральном значении переменной х?
Авторский ответ: 169
Правильный ответ: 168 - Отрезок [59, 227]

Спасибо: 0 
ПрофильЦитата Ответить
Ответов - 9 [только новые]





Не зарегистрирован
ссылка на сообщение  Отправлено: 14.05.23 16:35. Заголовок: № 6158


import sys
sys.setrecursionlimit (10000)
def F(a, b, x):
if a <= x <=b:
return True

mn=10**9
for a in range(800):
for b in range(a, 800):
Rezult=1
for x in range(800):
Rezult*=(not (F(59, 228, x))) or F(a, b, x) or (x%3==0) and (not (F(257, 356, x))) or (not (F(5, 600, x)))

if Rezult:
mn=min(mn, b-a)
print(mn)
ответ 168.
Может где ошибка?

Спасибо: 0 
Цитата Ответить
Администратор




Сообщение: 3957
ссылка на сообщение  Отправлено: 15.05.23 12:30. Заголовок: Max-xaM пишет: Прави..


Max-xaM пишет:
 цитата:
Правильный ответ: 168 - Отрезок [59, 227]

Доказывайте.

___________________________________________________
Имей мужество пользоваться собственным умом. (И. Кант)
Спасибо: 0 
ПрофильЦитата Ответить



Сообщение: 9
ссылка на сообщение  Отправлено: 15.05.23 13:16. Заголовок: Проверяем отрезок А=..


Х может быть только натуральным числом, никаких нецелых. Иначе формула на делимость не определена.
Проверяем отрезок А= [59,227] программно:
##
var (p,q,r,a):=(257..356, 5..600, 59..228, 59..227);
for var x:=1 to 70000 do
if (
((x in r) <= (x in a)) or ((x.Divs(3) <= (x in p)) <= ((x in q) <= (x in a)))
) = false
then print(x);

Ни один из Х от 1 до 70000 не срабатывает на ложь - везде правда.

Спасибо: 0 
ПрофильЦитата Ответить



Не зарегистрирован
ссылка на сообщение  Отправлено: 15.05.23 16:27. Заголовок: №6158


 
def F(a, b, x):
if a <= x <=b:
return True

mn=10**9
for a in range(800):
for b in range(a, 800):
Rezult=1
for x in range(800):
Rezult*=(not (F(59, 228, x))) or F(a, b, x) or (x%3==0) and \
(not (F(257, 356, x))) or (not (F(5, 600, x)))

if Rezult:
mn=min(mn, b-a)
print(mn)


Спасибо: 0 
Цитата Ответить



Сообщение: 10
ссылка на сообщение  Отправлено: 16.05.23 11:00. Заголовок: Граница отрезка НЕ м..


Граница отрезка НЕ может быть НЕцелым числом - иначе функция НЕ определена.
Об этом даже написано в самой задаче:
"
принимает значение 1 при любом натуральном значении переменной х
"
Нельзя для проверки брать НЕцелые числа Х.
Верный ответ 168
Программа проверки "ЛЮБОГО" Х для отрезка 59-227 написана выше.
Ваш ответ - 168,(9) является числом БОЛЬШЕ, чем 168
Так что МИНИМАЛЬНАЯ длина - 168

Спасибо: 0 
ПрофильЦитата Ответить
Администратор




Сообщение: 3958
ссылка на сообщение  Отправлено: 16.05.23 11:24. Заголовок: Да, там ответ 168. С..


Да, там ответ 168. Спасибо за обсуждение, ответ исправлен. Число 228 перекрывается условием ДЕЛ(x,3) and not (x in P).

___________________________________________________
Имей мужество пользоваться собственным умом. (И. Кант)
Спасибо: 0 
ПрофильЦитата Ответить
Администратор




Сообщение: 3959
ссылка на сообщение  Отправлено: 16.05.23 13:03. Заголовок: s11kai пишет: Данная..


s11kai пишет:
 цитата:
Данная программа написана по идее А.Кабанова и дает ответ 169, кто сможет пояснить в чем ошибка?

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

___________________________________________________
Имей мужество пользоваться собственным умом. (И. Кант)
Спасибо: 0 
ПрофильЦитата Ответить



Сообщение: 11
ссылка на сообщение  Отправлено: 16.05.23 11:54. Заголовок: Не знаю, как прикреп..


Не знаю, как прикрепить сюда файл
Залил на яндекс-диск аналитическое доказательство без программ
https://disk.yandex.ru/i/D0M_kLi5ewAobw

Спасибо: 0 
ПрофильЦитата Ответить





Сообщение: 130
ссылка на сообщение  Отправлено: 10.07.23 05:38. Заголовок: p=range(257,357); q..


 
p=range(257,357); q=range(5,601); r=range(59,229); mi=10**20
for b in range(200) :
for c in range(b,b+200):
a=range(b,c+1)
for x in range(1,500):
if not ( ((x in r)<=(x in a)) or (((x%3==0)<=(x in p))<=((x in q)<=(x in a))) ): break
else: mi=min(mi, c-b)
print(mi)


Спасибо: 0 
ПрофильЦитата Ответить
Ответ:
1 2 3 4 5 6 7 8 9
видео с youtube.com картинка из интернета картинка с компьютера ссылка файл с компьютера русская клавиатура транслитератор  цитата  кавычки оффтопик свернутый текст

показывать это сообщение только модераторам
не делать ссылки активными
Имя, пароль:      зарегистрироваться    
Тему читают:
- участник сейчас на форуме
- участник вне форума
Все даты в формате GMT  3 час. Хитов сегодня: 97
Права: смайлы да, картинки да, шрифты нет, голосования нет
аватары да, автозамена ссылок вкл, премодерация откл, правка нет