Я хотів би знати, куди я можу звернутися для гарного, лагідного вступу до k-SAT (це може бути для математиків, які можуть не мати гарного досвіду інформатики). Я також хотів би знати статті, які, можливо, обстежують або пояснюють сучасні методи, що використовуються для вирішення k-SAT. Нарешті, мене цікавлять найвідоміші методи вирішення k-SAT. Я хотів би отримати уявлення про найкращий середній випадок та найкращу поведінку в гіршому випадку.
Коротше кажучи, я шукаю документи, які допоможуть комусь із математики (а не інформатики) стати набагато більш знавцем k-SAT.
1
На сайті є кілька хороших відповідей щодо k-SAT: конспекти лекцій , верхня та нижня межі, з багатьма посиланнями. Спробуйте знайти тег сидів також.
—
Hsien-Chih Chang 張顯 之