TQBF Problemi: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
k "bu arada" ayrı yazılır. TDK Yazım Kılavuzu |
Değişiklik özeti yok |
||
31. satır:
# ''Q'' hiç belirleyici içemiyorsa, bu durumda ''Q'' sadece sabitlerden oluşur. ''Q'' yu işleriz eğer doğruysa kabul et. Yoksa reddet.
# Eğer <math>Q = \exists x G</math> ye eşitse, tekrarlarla ''T'' yi ''G'' üzerinde çalıştır. Önce x değişkeni yerine 0 koy, daha
# Eğer <math>Q = \forall x G</math> ye eşitse, tekrarlarla ''T'' yi ''Q'' üzerinde çağır. Önce x değişkeni için 0 koy sonra 1 koy. Eğer iki sonuçta doğruysa kabul et yoksa reddet.
|