problem）多項式時間歸約到點亮謎題。由於電路可滿足性問題已知為NP完全，這可用來證明點亮謎題的可解性問題亦為NP完全。也可考慮僅得某一個特定數字（0、1、2、3、4之一）的黑格和空黑格的特殊情況。若只有數字n和空黑格，則該變體稱為點亮-n（Akari-n）。同樣，通過從電路可滿足性問題的多項式...

1983年11月号 日本評論社） 『代数解析学と私』（数理科学講究録810、代数解析学と整数論、1992年） 『現代数学の広がり2 岩波講座 現代数学の基礎 34』（岩波書店 1997年） 『数学のたのしみ no.13 佐藤幹夫の数学』（日本評論社 1999年） 『佐藤幹夫の数学』木村達雄（編）（日本評論社 2007年）...

完整名称是《遭攻擊的美女演員、可怕的跟蹤狂、峭壁斷崖上出現迴音的槍聲、燈馬與可奈始終在一旁目睹事件經過 》（日语：狙われた美人女優、ストーカーの恐怖 絶壁の断崖にこだまする銃声 燈馬と可奈はずっと見ていた，是仿照兩小時單元劇（日语：2時間ドラマ）风格命名的。 由于是圣诞节的2天前所以用了《圣诞夜前夜》为标题。...