Perguntas com a marcação «survey»

Gostaria de saber onde posso recorrer para uma introdução boa e gentil ao k-SAT (isso pode ser para matemáticos que podem não ter uma boa formação em ciência da computação). Também gostaria de conhecer trabalhos que talvez pesquisem ou expliquem os métodos atuais usados ​​para resolver o k-SAT....

Existe um banco de dados de problemas conhecidos com informações sobre sua complexidade e algoritmos, problemas relacionados, referências etc. que estão disponíveis para nós? [Se não, podemos fazer um? Eu sei que isso está fora de tópico, mas seria TÃO

Li o famoso livro de Alon e Spencer sobre o método probabilístico na combinatória. Existe uma pesquisa ou notas de aula sobre avanços e relacionamentos recentes com os seguintes tópicos teóricos da complexidade deste método além deste livro? geradores pseudo-aleatórios enganando modelos de...