У меня такая же ситуация была на MSI 670-x, проц ryzen 7950x. В bios(uefi) вольтаж 1.4 и кулер орёт как турбина, обновил прошивку на v1.4 и тут же вольтаж упал до 1.2 и самое главное потребление на 80 Вт упало.
Мы не можем заранее знать, существование вызова функции оракула в программе. Поэтому не можем знать, он завис при выполнении анализа, или просто долго выполняет анализ. По сути, мы вернулись обратно к вопросу: «Будет ли алгоритм выполняться за конечное время или зависнет».
В том то всё и дело что доступ к второму оракулу вы не имеете. Одновременно к двум оракулам доступ имеет только наблюдатель. Одновременно вызвать двух оракулов в одном алгоритме нельзя. Выше vassabi всё верно расписал про контексты.
Здравствуйте. Давайте я попробую объяснить на вашем примере. func f() {
if (halts(f)) {
while(true) {
}
}
}
Предположим halts(f)вернул true, что это true означает, вам не известно до тех пор, пока алгоритм работает.
Предположим halts(f)вернул false, что это false означает, вам не известно до тех пор, пока алгоритм работает.
Если внутри вашего алгоритма дать значение будущего до того, как ваш алгоритм завершится, алгоритм попытается его опровергнуть.
Поэтому первый оракул вернёт ответ, который для алгоритма не будет иметь значение до тех пор, пока его (ответ) не соотнести с другим значением.
Например halts(f) вернул true. Алгоритм завис. Другой оракул дал обозначение этому true как бесконечное выполнение.
Например halts(f) вернул false. Алгоритм завершился. Другой оракул дал обозначение этому false как конечное выполнение алгоритма.
Причём оракул не всегда возвращает один и тот же результат. Но его ответы не будут противоречить реальности.
По сути, я пытался скрыть от алгоритма будущее, которое запрашивал от оракула алгоритм.
Здравствуйте. Так как ядра состоят из -1 и 1 то при нахождении правой диагонали в идеальном случае будет 1, а обратная (левая диагональ) является негативом для данного ядра, и будет равняться -1. Поэтому как вы могли заметить у меня нет парных ядер.
У меня такая же ситуация была на MSI 670-x, проц ryzen 7950x. В bios(uefi) вольтаж 1.4 и кулер орёт как турбина, обновил прошивку на v1.4 и тут же вольтаж упал до 1.2 и самое главное потребление на 80 Вт упало.
Проверил, всё работает. Почта отправляется и принимается. г. Белгород.
func f() {if (halts(f)) {
while(true) {
}
}
}
Предположим halts(f)вернул true, что это true означает, вам не известно до тех пор, пока алгоритм работает.
Предположим halts(f)вернул false, что это false означает, вам не известно до тех пор, пока алгоритм работает.
Если внутри вашего алгоритма дать значение будущего до того, как ваш алгоритм завершится, алгоритм попытается его опровергнуть.
Поэтому первый оракул вернёт ответ, который для алгоритма не будет иметь значение до тех пор, пока его (ответ) не соотнести с другим значением.
Например halts(f) вернул true. Алгоритм завис. Другой оракул дал обозначение этому true как бесконечное выполнение.
Например halts(f) вернул false. Алгоритм завершился. Другой оракул дал обозначение этому false как конечное выполнение алгоритма.
Причём оракул не всегда возвращает один и тот же результат. Но его ответы не будут противоречить реальности.
По сути, я пытался скрыть от алгоритма будущее, которое запрашивал от оракула алгоритм.