A. лучший подотрезок ограничение по времени на тест1 секунда ограничение по памяти на тест256 мегабайт вводстандартный ввод выводстандартный вывод вам задан массив a 1 , a 2 , …, a n a1, a2, …, an . найдите его подотрезок a l , a l+1 , …, a r al, al+1, …, ar с максимальным значением среднего арифметического 1 r−l+1 ∑ i=l r a i 1r−l+1∑i=lrai (без какого-либо округления если существует несколько таких отрезков, то найдите самый длинный. входные данные в первой строке задано единственное целое число n n ( 1≤n≤ 10 5 1≤n≤105 ) — длинна массива a a . во второй строке заданы n n целых чисел a 1 , a 2 , …, a n a1, a2, …, an ( 0≤ a i ≤ 10 9 0≤ai≤109 ) — массив a a . выходные данные выведите единственное число — длину наидлиннейшего подотрезка с максимально возможным средним арифметическим. пример входные данные скопировать 5 6 1 6 6 0 выходные данные скопировать 2 примечание подотрезок [3, 4] [3, 4] — самы длинный среди всех подотрезков с максимальным средним арифметическим.

Конъюнкция истинна, если верны все конъюнкты. Значит, все импликации должны быть истинны.

Импликация истинна во всех случаях, кроме 1 → 0, поэтому если xk = 1, то и все x с номерами, большими k, единицы. Если записывать решение в виде  строчки со значениями переменных от x1 до x5, получается 6 решений: 00000, 00001, 00011, 00111, 01111, 11111.

Аналогично, есть 6 решений для игреков: 11111, 11110, 11100, 11000, 10000, 00000.

x2 ∨ y2 = 1, значит, хотя бы одна из переменных x2, y2 истинна. Подсчитываем число комбинаций.

1) x2 истинна (решение 01111 или 11111). Подходят все 6 решений для игреков, по правилу произведения получаем 2 * 6 = 12 решений.

2) x2 ложна (4 решения). Подходят 4 решения для игреков (все, кроме 10000 и 00000). По правилу произведения 4 * 4 = 16 решений.

Всего 12 + 16 = 28 решений.

x1 x2 x3 x4 x2∧x4 ¬x1 ¬x1∨x3 x2∧x4∧(¬x1∨x3) ¬x2∧x4∧(¬x1∨x3) ¬x1∧x2 ¬x3 ¬x1∧x2∧¬x3 x4∨¬x1∧x2∧¬x3 ¬x2∧x4∧(¬x1∨x3)∧(x4∨¬x1∧x2∧¬x3) x1∧x2 ¬x1∧x2 ¬x2∧x4∧(¬x1∨x3)∧(x4∨¬x1∧x2∧¬x3)∧¬x1∧x2 ¬x2∧x4∧(¬x1∨x3)∧(x4∨¬x1∧x2∧¬x3)∧¬x1∧x2≡1

0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0

0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1

0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0

0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1

0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1

0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 1 0 0

0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0

0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0

1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0

1 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 1 1

1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0

1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1

1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0

1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0

1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0

1 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0

Объяснение:

вроде так