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

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

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

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



Сообщение: 34
ссылка на сообщение  Отправлено: 05.05.22 22:13. Заголовок: 15.497.4974


{
На числовой прямой даны два отрезка:
P = [55; 80], Q = [20; 105].
Найдите наименьшую возможную длину отрезка A, при котором формула
(x ∈ Q) → ( ((x ∈ P) ≡ (x ∈ Q)) ∨ (¬(x ∈ P) → (x ∈ A)) )
тождественно истинна, то есть принимает значение 1 при любых x.}
 
##
var P := Lst(55..80);
var Q := Lst(20..105);
var A := new List<Integer>;
for var x := -1000 to 1000 do
begin
if not ((x in Q) <= (((x in P) = (x in Q)) or ((x not in P) <= (x in A)))) then
begin
A.Add(x);
end;
end;
A.Println;
//20..54 разрыв 81..105
print(min(54-20,105-81));


В ответах 85, однако в наборе данных есть разрыв между 54 и 81. Поэтому ответ у меня получился 24?

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


Администратор




Сообщение: 3516
ссылка на сообщение  Отправлено: 06.05.22 15:01. Заголовок: Лучше руками решать...


Лучше руками решать. Тогда поймете, в чем ошиблись.

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



Сообщение: 35
ссылка на сообщение  Отправлено: 07.05.22 16:58. Заголовок: Решение руками


После упрощения получилось, что A = not P and Q. Значит программное и ручное решение совпали. В чем может быть проблема?



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




Сообщение: 3527
ссылка на сообщение  Отправлено: 11.05.22 12:02. Заголовок: ivackov.sergey пишет..


ivackov.sergey пишет:
 цитата:
что A = not P and Q. Значит программное и ручное решение совпали.

Это верно, и это Amin.
 цитата:
В чем может быть проблема?

В том, что not P and Q в данном случае состоит из двух отрезков. Отрезок А должен перекрыть оба.

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



Сообщение: 36
ссылка на сообщение  Отправлено: 11.05.22 16:53. Заголовок: В том, что not P and..



 цитата:
В том, что not P and Q в данном случае состоит из двух отрезков. Отрезок А должен перекрыть оба.


Спасибо!

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

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