eolymp
bolt
Try our new interface for solving problems
Məsələlər

Равносильность

Равносильность

Школьник Бека обнаружил, что одно и то же соотношение можно записать по-разному. Например: "\textbf{x>=25}" можно записать и как "\textbf{x-25>=0}", и как "\textbf{25<=x}" и даже как "\textbf{2*x-3*y-12>=x-y*3+13}". Он стал проверять равносильность различных соотношений, приведенных в одном толстом задачнике по математике. Напомним, что два соотношения называются равносильными, если для любого комплекта значений переменных, использованных в них, либо оба эти соотношения верны, либо оба они не верны (т.е. если их т.н. истинностные значения равны всегда). Задавшись целью проверить эквивалентность абсолютно всех соотношений из книги, Бека вскоре понял, что ему необходима программа, которая поможет ускорить эту работу. Программировать он еще не умеет, поэтому просит о помощи Вас. Нужно составить программу, которая по заданным двум соотношениям выдаст заключение об их равносильности на английском языке -- либо \textbf{YES}, либо \textbf{NO}. Каждое из соотношений задано в виде строки. В качестве знака соотношения может быть один из следующих: \textbf{< <= > >= = <>} . В качестве операндов выражений, составляющих левую и правую части соотношения, могут быть либо двухсимвольные сочетания \textbf{Х0}, \textbf{Х1}, ..., \textbf{Х9}, обозначающие переменные, либо не более чем двузначные десятеричные числа (возможно с ведущим нулем). В качестве знаков операций в выражениях могут быть использованы следующие: \textbf{- + *} . \InputFile Входной файл содержит две строки, удовлетворяющие приведенным ограничениям. В каждой строке по одному соотношению, удовлетворяющему приведенным условиям. Длина каждой строки, содержащей исследуемое соотношение, не меньше \textbf{3} и не больше \textbf{1000}. В последовательности, составленной только из знаков операций отдельно для левой и отдельно для правой частей, знак умножения не может встречаться дважды подряд. Строки не содержат пробелов. В выражении переменная может умножаться только на число. Аналогично, число может умножаться только на переменную. Тесты гарантируют, что соотношения заданы корректно. Т.е. у каждого соотношения есть ровно один знак сравнения, а также есть и правая и левая части, заданные в соответствии с условием. \OutputFile Выходной файл содержит единственную строку. В этой строке с первой позиции должен быть текст \textbf{YES}, если строки эквивалентны, а в противном случае должен быть (также с первой позиции) текст \textbf{NO}.
Zaman məhdudiyyəti 1 saniyə
Yaddaşı istafadə məhdudiyyəti 64 MiB
Müəllif Теодор Заркуа
Mənbə Зимняя школа, Харьков 2009, контест Теодора Заркуа и его учеников