Концептуально эта задача действительно проста. Вам дан список неотрицательных целых чисел . Если возможно, найдите неотрицательное целое число , чтобы список, состоящий из, был отсортирован. Если такого не существует, выводом должно быть все, что не может быть принято за действительное , например, отрицательное число, вообще ничего, ошибка и т. Д.ai
N
bi = ai XOR N
N
N
Вот пример:
[4, 7, 6, 1, 0, 3]
Если мы возьмем каждый элемент в этом списке XOR 5
, мы получим
[1, 2, 3, 4, 5, 6]
который отсортирован. (Обратите внимание, что в результирующем списке нет необходимости иметь уникальные элементы и не содержать пробелов. Если бы результат такой операции был [0, 1, 1, 3]
бы все еще действительным.) С другой стороны, для списка
[4, 7, 1, 6, 0, 3]
такого не N
существует.
Вы можете написать программу или функцию, принимая ввод через STDIN (или ближайшую альтернативу), аргумент командной строки или аргумент функции и выводя результат через STDOUT (или ближайшую альтернативу), возвращаемое значение функции или параметр функции (out).
Ввод может быть в любом удобном формате списка или строки. Вы можете предположить, что их меньше, чем каждый, и что список содержит хотя бы один элемент.ai
231
Ваш код должен обработать любой из тестовых случаев (особенно четыре больших) в течение нескольких секунд.
Применяются стандартные правила игры в гольф .
Тестовые случаи
Для каждого теста, который не возвращает, -1
есть бесконечное количество правильных ответов. Тот, что здесь указан, самый маленький. Дополнительные решения существуют путем дополнительной установки битов, которые одинаковы для всех целых чисел на входе (особенно те, которые больше, чем старший значащий бит в наибольшем числе в списке).
[4 7 6 1 0 3] => 5
[4 7 1 6 0 3] => -1
[0 1 3 4 6 7] => 0
[4 2 3 1] => 6
[2 3 0 0 7 7 4 5 11 11] => 2
[2 3 0 0 7 7 5 4 11 11] => -1
[1086101479 748947367 1767817317 656404978 1818793883 1143500039] => -1
[180522983 1885393660 751646477 367706848 331742205 724919510 850844696 2121330641 869882699 1831158987 542636180 1117249765 823387844 731663826 1762069894 240170102 1020696223 1212052937 2041219958 712044033 195249879 1871889904 1787674355 1849980586 1308879787 1743053674 1496763661 607071669 1987302942 178202560 1666170841 1035995406 75303032 1755269469 200581873 500680130 561748675 1749521426 1828237297 835004548 934883150 38711700 1978960635 209243689 1355970350 546308601 590319412 959613996 1956169400 140411967 112601925 88760619 1977727497 672943813 909069787 318174568 385280382 370710480 809689639 557034312 865578556 217468424 346250334 388513751 717158057 941441272 437016122 196344643 379529969 821549457 97008503 872313181 2105942402 603939495 143590999 1580192283 177939344 853074291 1288703007 1605552664 162070930 1325694479 850975127 681702163 1432762307 1994488829 780869518 4379756 602743458 1963508385 2115219284 1219523498 559301490 4191682 1918142271 169309431 346461371 1619467789 1521741606 1881525154] => -1
[37580156 64423492 87193676 91914964 93632157 96332899 154427982 176139560 184435039 228963836 230164674 279802291 301492375 309127664 345705721 370150824 380319820 403997410 410504675 416543032 418193132 424733526 428149607 435596038 477224208 515649925 519407995 525469350 614538124 624884850 642649261 653488151 679260270 685637235 690613185 739141066 825795124 832026691 832633584 833213619 852655299 913744258 917674993 921902522 925691996 931307936 954676047 972992595 997654606 1020009811 1027484648 1052748108 1071580605 1108881241 1113730139 1122392118 1154042251 1170901568 1180031842 1180186856 1206428383 1214066097 1242934611 1243983997 1244736049 1262979035 1312007069 1312030297 1356274316 1368442960 1377432523 1415342434 1471294243 1529353536 1537868913 1566069818 1610578189 1612277199 1613646498 1639183592 1668015280 1764022840 1784234921 1786654280 1835593744 1849372222 1875931624 1877593764 1899940939 2007896363 2023046907 2030492562 2032619034 2085680072 2085750388 2110824853 2123924948 2131327206 2134927760 2136423634] => 0
[1922985547 1934203179 1883318806 1910889055 1983590560 1965316186 2059139291 2075108931 2067514794 2117429526 2140519185 1659645051 1676816799 1611982084 1736461223 1810643297 1753583499 1767991311 1819386745 1355466982 1349603237 1360540003 1453750157 1461849199 1439893078 1432297529 1431882086 1427078318 1487887679 1484011617 1476718655 1509845392 1496496626 1583530675 1579588643 1609495371 1559139172 1554135669 1549766410 1566844751 1562161307 1561938937 1123551908 1086169529 1093103602 1202377124 1193780708 1148229310 1144649241 1257633250 1247607861 1241535002 1262624219 1288523504 1299222235 840314050 909401445 926048886 886867060 873099939 979662326 963003815 1012918112 1034467235 1026553732 568519178 650996158 647728822 616596108 617472393 614787483 604041145 633043809 678181561 698401105 776651230 325294125 271242551 291800692 389634988 346041163 344959554 345547011 342290228 354762650 442183586 467158857 412090528 532898841 534371187 32464799 21286066 109721665 127458375 192166356 146495963 142507512 167676030 236532616 262832772] => 1927544832
[1922985547 1934203179 1883318806 1910889055 1983590560 1965316186 2059139291 2075108931 2067514794 2117429526 2140519185 1659645051 1676816799 1611982084 1736461223 1810643297 1753583499 1767991311 1819386745 1355466982 1349603237 1360540003 1453750157 1461849199 1439893078 1432297529 1431882086 1427078318 1487887679 1484011617 1476718655 1509845392 1496496626 1583530675 1579588643 1609495371 1559139172 1554135669 1549766410 1566844751 1562161307 1561938937 1123551908 1086169529 1093103602 1202377124 1193780708 1148229310 1144649241 1257633250 1241535002 1247607861 1262624219 1288523504 1299222235 840314050 909401445 926048886 886867060 873099939 979662326 963003815 1012918112 1034467235 1026553732 568519178 650996158 647728822 616596108 617472393 614787483 604041145 633043809 678181561 698401105 776651230 325294125 271242551 291800692 389634988 346041163 344959554 345547011 342290228 354762650 442183586 467158857 412090528 532898841 534371187 32464799 21286066 109721665 127458375 192166356 146495963 142507512 167676030 236532616 262832772] => -1
Наконец, вот четыре очень больших тестовых случая, чтобы гарантировать, что представления достаточно эффективны:
- Тестовый пример 1 должен дать
-1
. - Тестовый пример 2 должен дать
0
. - Тестовый пример 3 должен дать
1096442624
. - Тестовый пример 4 должен дать
-1
.
Зачем кому-то это делать?
На днях мне пришло в голову, что операция XOR может «сортировать» массив, что позволяет выполнять двоичный поиск по массиву в O (log n) без необходимости сначала сортировать его. По-видимому, за N
псевдолинейное время можно определить , что сделало бы это более быстрой альтернативой большинству алгоритмов сортировки, и у нее нет требований к памяти радикальной сортировки. Конечно, прямой линейный поиск в несортированном массиве будет быстрее, но если вы хотите искать один и тот же массив много раз, одно линейное предварительное вычисление может значительно сократить время, необходимое для каждого поиска.
К сожалению, класс списков, над которым это работает, довольно ограничен (равномерно случайные распределения вряд ли допустимы N
).
Интересный вопрос заключается в том, существуют ли другие биективные функции, которые легче проверить и / или применимы для более широкого класса списков.
источник
Ответы:
Желе, 25 байт
Последние коммиты датируют эту проблему, но приведенный выше код работает с этой ревизией , которая предшествует этому. Попробуйте онлайн!
Для запуска больших тестовых случаев, в зависимости от вашей оболочки, может быть необходимо обернуть вышеупомянутый код в программу, которая считывает ввод из STDIN. Попробуйте онлайн!
Контрольные примеры
идея
Здесь используется тот же подход, что и в ответе @ Jakube , но моя реализация немного отличается.
У Jelly пока нет сортировки, поэтому мы вычисляем кандидата на сортировку, XOR входного списка вместе с ним, вычисляем кандидата на сортировку списка XORed и проверяем, равен ли новый кандидат нулю. Если это так, мы печатаем первого кандидата; в противном случае мы печатаем -1 .
Кроме того, у Jelly, похоже, еще нет разумного способа приведения к целому числу (даже целочисленное деление может возвращать числа с плавающей запятой), поэтому мне пришлось придумать довольно творческий способ округления списка чисел до следующей степени 2 . Вместо log-floor-pow я преобразовываю все целые числа в двоичные, заменяю все двоичные цифры на 1 , преобразую обратно в целое число, добавляю 1 и делю на 2 .
Код
источник
Pyth,
40363130 байтПопробуйте онлайн: демонстрация или тестовый набор
Каждый из больших тестов завершается за пару секунд.
Объяснение:
Сначала я объясню метод и почему он работает. Я сделаю это на примере списка:
[7, 2, 13, 9]
.Первые два числа уже неверны (
7 > 2
). Мы хотим сделать xor с некоторым числом, чтобы изменить этот символ неравенства (7 xor X < 2 xor X
). Поскольку xor работает с двоичными представлениями, давайте посмотрим на них.Когда мы применяем xor с некоторым числом к каждому числу, значение в некоторых позициях будет меняться. Если вы измените значения в первой позиции (
2^0
), символ неравенства не изменится. То же самое происходит, когда мы меняем значения во второй позиции (2^1
). Кроме того , символ не изменится , если изменить значение в четвертом, пятом, ... позициях (2^3
,2^4
, ...). Символ неравенства меняет направление, только если мы меняем третью позицию (2^2
).Если мы меняем несколько позиций одновременно, конечно, происходит то же самое. Если какая-либо из позиций, которую мы меняем, является третьей, то символ неравенства меняется, иначе нет.
Следующая пара уже отсортирован:
2 < 13
. Если мы посмотрим на двоичное представление, мы заметим, что мы можем сделать что-то для него, и символ неравенства по-прежнему правильный, кроме случаев, когда мы меняем четвертую позицию (2^3
).Поэтому мы не хотим менять четвертую позицию. Для следующей пары мы хотим изменить что - то, так как
13 > 9
. Здесь мы снова должны изменить третью позицию.Итак, резюмируем: чтобы попасть в отсортированный список, мы снова должны изменить третью позицию и не хотим менять четвертую позицию. Все остальные позиции не имеют значения. Наименьшее число просто
4 = 0100
. Другие варианты были бы5 = 0101
,6 = 0110
,7 = 0111
,20 = 10100
,21 = 10101
, ...Xoring с
4
приведет к списку[3, 6, 9, 13]
, с6
получит[1, 4, 11, 15]
, и с21
получит[18, 23, 24, 28]
.Итак, для списка нам нужно найти позиции, которые изменит символ неравенства, если он укажет неправильное направление. Мы находим позицию просто, беря самый значительный бит xor пары. Мы объединяем все эти позиции (с или), чтобы получить число кандидатов. Мы проверяем, не уничтожили ли мы случайно уже отсортированные пары.
источник
Рубин 2, 119
Запускается за 42 миллисекунды в больших тестовых случаях.
Ungolfed:
На этот раз я сначала написал версию «без игры в гольф», а затем играл в гольф, так как выяснить правильный алгоритм было проблемой само по себе.
Я на самом деле пытался написать что-то подобное несколько лет назад, чтобы создать бинарную древовидную структуру, которая могла бы локально самобалансироваться, позволяя каждому узлу динамически переопределять свою функцию сравнения. Сначала я подумал, что могу просто использовать xor, но, как вы говорите, для случайных данных вряд ли найдется подходящее значение.
источник
[4,4,4]
, это даст SyntaxError, когда он пытается вычислить0b
. К счастью, как это часто случалось со мной, есть другой способ сделать то же самое в том же количестве байтов. Это должно работать, я надеюсь:->a,*o{a.each_cons(2){|x,y|x==y||o[i=(x^y).bit_length-1]==1-(o[i]=x[i])&&(return-1)};(o.map(&:to_i).reverse*'').to_i 2}
Юлия,
174144777571[ПРАВКА] Спасибо Алексу А. за анонимность и различные сокращения.
[РЕДАКТИРОВАТЬ 2] Заменил мою собственную реализацию на встроенную
issorted()
.Работает за линейное время и обрабатывает большие файлы без заметной задержки. Работает так же хорошо для отрицательных чисел.
Другой вариант, который вычисляет результат, ближайший к заданному ключу (приведенный выше возвращает наименьший).
использование:
Пример, шаг за шагом:
[4 7 6 1 0 3] => 5
источник
l->(r=0;s=issorted;for d=63:-1:0 s((l$r).>>d)||(r$=2^d)end;s(l$r)?r:[])
JavaScript (ES6) 85
97 114 117Редактировать Удален глупый, бесполезный последний И
Edit2 Сокращенный поиск по
битам Edit3 Ух ты! Я обнаружил, что ES6 (почти) имеет встроенную функцию для поиска старшего бита (Math.clz32 считает верхние 0 бит)
Это основано на решении @Jakube (пожалуйста, подтвердите). Я никогда не смог бы найти это сам.
Здесь я делаю один шаг вперед, повторяя список один раз и сохраняя битовую маску с битами, которые необходимо перевернуть, и еще один с битами, которые должны быть сохранены.
Если есть совпадение битовых масок, то никакое решение не возможно, иначе решение - "биты, чтобы перевернуть"
Поскольку бинарные операции в javascript работают только с 32-разрядными целыми числами со знаком, возвращаемое значение представляет собой 32-разрядное целое число со знаком, которое может быть отрицательным или 0.
Если решения не существует, возвращаемое значение равно X
Контрольная работа
Чем дольше тесты на jsfiddle
источник
ES6, 84 байта
Изменить: К тому времени, когда мне потребовалось написать ответ, алгоритм уже был независимо опубликован @Jakube; мой алгоритм такой же, но это не был честный плагиат! Также я заметил, что с тех пор был опубликован еще один ответ JavaScript. Извините, если я наступаю на чьи-то пальцы.
Редактировать: 8 байтов сохранено благодаря edc65.
источник
1<<31>>>32
ноль, то я мог бы сохранить еще 4 байта.C 144 байта
Это почти стандартный C99 (он пропускает несколько
int
спецификаторов и имеет 1 аргумент дляmain
). Он также полагается на0<<-1
0 (что, по крайней мере, верно при компиляции с Clang - другие я не тестировал)Я взял метод Якуба и портировал его на C. Я думаю, что он удивительно хорош по размеру для C. Он также очень быстр (0,061 с для запуска всех тестовых файлов, включая массивную 4). Он принимает входные данные из STDIN и выводит соответствующее значение или -1 в STDOUT, поэтому запустите его с одним из:
Сломать:
источник
Юлия, 124 байта
Это функция, которая принимает массив целых чисел и возвращает целое число. Он использует подход Якуба .
Ungolfed:
источник
$
?Python 2, 204 байта
Ввод передается в виде списка в функцию f.
Этот код вычисляет значение N (названное в программе n) по одному биту за раз, начиная с самого старшего бита. (цикл "для меня")
Для каждой позиции бита цикл for n сначала пытается использовать 0 для этого бита n. Если это не работает, он пытается использовать 1. Если ни один из этих способов не работает, то решения не существует. Обратите внимание, что предложение else находится в цикле for n, а не в операторе if. В Python оператор for может содержать предложение else, которое выполняется после завершения цикла, но не выполняется, если мы вырвемся из цикла.
Функция q проверяет наличие проблем с порядком списка по списку (a), битовой маске (m) и значению, которое необходимо записать для каждого значения в списке (n). Возвращает 1, если есть проблема с заказом, или None, если заказ в порядке. Ничто не является возвращаемым значением по умолчанию, так что спасло меня несколько символов.
Этот код обрабатывает пустой список или список с 1 элементом правильно, возвращая 0. «if a:» в функции q существует только для того, чтобы избежать исключения IndexError, когда список пуст. Таким образом, можно удалить еще 5 байтов, если обработка пустых списков не требуется.
На моем компьютере большой тестовый пример № 3 занял 0,262 секунды. # 2 взял примерно то же самое. Все тестовые случаи вместе заняли 0,765 секунды.
источник
CJam, 37 байт
Проверьте это здесь.
При этом используется тот же алгоритм, что и несколько других ответов. По сути, это моя эталонная реализация, которую я использовал для создания тестовых случаев. Однако я украл уловку Якуба, проверяя только пары-нарушители и просто пробуя результат с сортировкой. Это нарушает псевдолинейность, но O (n log n) все еще достаточно быстр для тестовых случаев. Мой оригинальный код также проверил пары, которые уже в порядке, и составил список битов, которые не должны переключаться, чтобы сохранить их относительный порядок, и в конце проверил, что между двумя битовыми масками нет перекрытий. Этот алгоритм был первоначально предложен Беном Джексоном .
источник
Python 2,
226214 байтПростой алгоритм, построенный вчера, игра в гольф сегодня.
Ungolfed:
источник
C, 312 байтов
Определяет функцию,
h(int*a,int l)
принимающую указатель на массив и его длину. Вот тестовая программа Бегемот.Слегка разгульный
источник
Mathematica,
9997 персонажейСпасибо Мартину Бюттнеру за советы.
Объяснение:
Мы сделаем несколько попыток изменения,
N
начиная с нуля, и проведем тест для проверки кандидатаN
.Шаг 1. Мы получаем эти цифры (32-битные целые числа) «исключающий» ред
N
(= 0
сейчас) и разделить на2^31
:⌊l~BitXor~#/#2⌋
. Есть три случая:{0, 0, 1, 1, 1, 1, 1, 1}
;{1, 1, 1, 1, 0, 0, 0, 0}
;{0, 0, 1, 0, 0, 1, 1, 1}
.Мы не делаем ничего , чтобы
N
в первом случае, или добавить2^31
кN
корректировать порядок для второго случая:#+#2Boole@!OrderedQ@...
. В то время как для третьего случая невозможно отсортировать список, что бы мы ни делали, поэтому мы просто добавляем2^31
к немуN
для простоты (или чего-то еще!).Шаг 2. Мы получим эти числа «xor», отредактированные на
N
и разделенные на2^30
. Есть еще три случая:{0, 1, 2, 2, 2, 2, 3, 3}
;{1, 1 , 0, 0, 3, 2, 2, 2}
;{3, 3, 1, 3, 2, 0, 1, 0}
.Мы не делаем ничего , чтобы
N
в первом случае, или добавить2^30
кN
корректировать порядок для второго случая. В противном случае, мы понимаем , что xorting невозможно, поэтому мы просто добавить2^30
кN
для простоты снова.Шаг 3 ~ 32. Мы рекурсивно получить эти цифры «исключающее» под редакцией
N
и разделены2^29
,2^28
, ...,2^0
. И делать похожие вещи:Fold[...,0,2^32/2^Range[32]]
Шаг 33. Теперь мы наконец получили кандидата
N
.If[OrderedQ[l~BitXor~#],#,-1]&
используется, чтобы проверить,N
действительно ли такое происходит в списке. Если список может быть отсортирован некоторымиN
, нетрудно доказать, что мы всегда будем сталкиваться с первым или вторым случаем.источник
Perl 6 , 79 байт
Если бы не было ограничения по времени, возможно, самый короткий код Perl 6 был бы
Вместо этого я должен сделать что-то более умное.
Поскольку мне потребовалось некоторое время, чтобы вернуться к этому, уже был ответ, который описывает хороший алгоритм и обоснование этого.
Использование:
источник
Mathematica
650 415194 байтаЭтот вызов помог мне понять немного о
Xor
том, о чем я никогда не думал. Сокращение кода заняло много времени, но оно того стоило.BitXor
работает непосредственно на базе 10 номеров. Это значительно сократило код из более ранних версий.Логика проста. Один работает не с парами чисел (как это делали некоторые представления), а с полным набором чисел после
BitXor
редактирования с текущим «ключом».Начнем с примерного решения или «ключа» с нуля, то есть со всеми битами равными нулю. Когда исходные
n
числаBitXor
обнуляются, они возвращаются без изменений. Соотнесите порядок чисел с диапазоном1, 2, ...n
, которые представляют собой идеально упорядоченный список. Корреляция со значением от -1 до 1 отражает, насколько хорошо упорядочены числа.Затем установите бит hi, получите новый ключ и
BitXor
ключ с текущим набором чисел. Если корреляция между новой последовательностью чисел и идеально упорядоченным списком улучшается, оставьте бит установленным. Если нет, оставьте бит неустановленным.Перейдите таким образом от высокого до низкого бита. Если наилучшая корреляция равна 1, то ключом является решение. Если нет, то это -1.
Существуют способы сделать код немного более эффективным, например, прерывая процесс, как только будет найдено решение, но для этого потребуется больше кодирования, и текущий подход очень быстрый. (Последний и самый длинный тестовый случай занимает 20 мсек.)
источник
Добавить ++ ,
125119 байтПопробуйте онлайн!
Я на самом деле очень горжусь тем, что Add ++ способен это сделать, и это не самое длинное решение здесь
Объявляет функцию,
f
которая принимает каждый элемент как отдельный аргумент (например$f>4>2>3>1
)Как это устроено
Пристегнитесь, это будет долгая поездка
источник
Stax , 29 байт
Запускать и отлаживать онлайн!
Использует решение @ RainerP. (Придумал часть битового переключения независимо, но использует
32rr
часть)Линейная сложность по времени.
Использует распакованную версию для объяснения.
источник