Тьюринг завершен – Грамотная экономия с помощью схем задержки (Самый сложный уровень)

Прохождение одного из самых сложных уровней Turing Complete для grep. Экономия изящно после нового декабря 2021 патч заменил SR Latches на схемы задержки. Я видел несколько человек, которые боролись с этим уровнем, поэтому я решил написать иллюстрированное руководство, которое поможет вам найти ответ. Ответ, показанный здесь, не обязательно является самым эффективным., но мы здесь, чтобы понять, не просто копипаст.

Шаг 1: Что нам нужно сделать??

По словам нашего длинноносого инопланетного друга, мы строим схему, которая может сохранить ценность, и выведите любое значение, сохраненное в данный момент.

Разбивая это еще немного, здесь нам действительно нужно выполнить несколько разных задач. Первый, нам нужно каким-то образом сохранить значение навсегда. Во-вторых, если “сохранять” кусочек (верхний вход) включен, тогда нам нужно заменить все, что есть “сохранено” со значением в нижнем бите.

Вторая часть звучит сложно, но давайте начнем с первого и посмотрим, как мы можем на основе этого построить.

Шаг 2: Предположим, сохранение отключено

Помните о нечетных тиках? В этой проблеме, мы выводили «выкл.», а затем использовали «НЕ» для “сохранять” на, а затем в следующем тике делаем то же самое, но с противоположными значениями. Это звучит сложно, так что давайте воспользуемся картинкой.

(Вы можете вращать компоненты с помощью клавиши пробела.)

В этом случае, по сути, мы сохраняли результат НЕТ значения последнего тика. Один из способов думать об этом: мы выводим все, что находится в схема задержки, и помещаем результат, который мы хотим для следующего тика, в схема задержки. Таким образом, очевидный способ сохранить значение здесь — просто вернуться к самому себе.. Давай попробуем это.

Большой, теперь у нас есть цикл сохранения. Что бы ни выводилось из схема задержки будет возвращен в него, и мы будем золотыми. Ради простоты, Я буду называть любой входной сигнал, который мы посылаем в схему задержки, “экономия” вход.

Можем ли мы проверить это?? Конечно, это хорошая идея. Запускаем его для выключенный работает (пока тесты ниже не пройдут неудачно, но мы видим, что нет причин для внезапного поворота на и выведите на сигнал). Давайте бросим на генератор и убедитесь, что он сохраняет на.

Конечно, это было бы не так просто. Ничего дружеского ИЛИ не могу исправить.

Это лучше! Я знаю На сделал бы это на несмотря ни на что, но надеюсь, ты можешь видеть, даже если бы мы могли это принять на прочь, нижний вход в ИЛИ оставил бы это навсегда.

Фактически, в тех случаях, когда сохранить ввод является выключенный, это именно то поведение, которое нам нужно! Или по-другому это сформулировать, Если Сохранить ввод является выключенный И сохраненное значение на, затем отправьте на к схема задержки, или если Сохранить ввод является выключенный И сохраненное значение выключенный, вывести выключенный. Мы можем это немного упростить; если Сохранить ввод является выключенный, затем отправьте все, что есть в схема задержки вернуться к себе, чтобы мы могли вывести его на следующем тике.

Давайте составим таблицу истинности (те вещи на более ранних уровнях, которые показывают, какие выходные данные следует простить входным).

Я советую вам попробовать построить это самостоятельно., но вот как это может выглядеть:

Здесь я использую оранжевый цвет, чтобы обозначить цикл сохранения., и светло-голубой, чтобы показать наши сохранить ввод. Рекомендую завести привычку раскрашивать провода в логические группы вот так, вы будете рады, что сделали это на более поздних уровнях.

Шаг 3: Давайте добавим возможность изменять то, что мы сохраняем

Сладкий, у нас половина проблемы решена. Теперь нам просто нужно придумать, как игнорировать все, что мы сохранили, когда сохранить ввод является на, и вместо этого сохраните все, что находится в ввод значения. Это звучит жестко, но давайте начнем играть.

Ну вообще-то, снова смотрю на нашу схему, у нас больше половины проблемы решено! Если сохранить ввод является на, тогда И будет гарантировать, что все, что мы сохранили, установлено на выключенный. В этом случае, все, что нам нужно сделать, это получить значение из ввод значения и напишите это в схема задержки.

Ах, мы так близко, но здесь ошибка. Мы сохраняем ценность ввод значения, даже когда сохранить ввод не установлено. Мы хотим сохранить это значение только в том случае, если сохранить ввод включен, Итак, давайте снова воспользуемся некоторой логикой, чтобы понять, как.

Возвращаясь к нашей логике сохранения, нам нужно было сохранить сохраненное значение, если сохранить ввод был выключенный. Здесь мы хотим, чтобы ввод значения, если сохранить ввод является на. Это звучит удивительно похоже, так что давай попробуем И снова ворота.

Нажмите «Play» и… мы закончили!

Другой

Это не самый эффективный способ решения уровня., но дело не в этом. Я хотел показать шаги, которые вы можете предпринять, чтобы решить ее самостоятельно, чтобы вы могли понять уровень, а не просто получить “пропускать” кнопка. Объяснять вещи — не самое сильное мое умение, однако, так что, если есть что-то, что все еще неясно или другой образ мышления, который заставил вас это заинтересовать, пожалуйста, поделитесь в комментариях ниже!

Этот уровень сложен, потому что он один из первых, который требует от вас разбить проблему на подзадачи, не делая при этом очевидным, что вам следует. Умение взглянуть на проблему и упростить ее до меньшего, более простые подзадачи помогут вам продвинуться в этой игре дальше, чем любая степень в области компьютерных наук или компьютерный опыт вообще., поэтому я рекомендую помнить об этом на будущих уровнях, где проблемы будут становиться все больше и больше..

Это работает и в реальной жизни, но я здесь только для того, чтобы помочь с изящной экономией, Жить изящно по-прежнему зависит от вас.