Résumés des cours et exposés
نویسنده
چکیده
Heribert Vollmer : Boolean functions and Post’s lattice with applications to complexity theory. A Boolean functions f can be obtained from a set B of Boolean functions by superposition, if f can be written as a nested composition of functions from B. In the 1940’s, Emil Post determined the complete list of all sets of Boolean functions closed under superposition, and for each of them, he constructed a finite basis. In this talk, we will first introduce the hearer to Post’s result and then show, how it can be applied very conveniently in computational complexity theory. We will, e.g., determine the complexity of circuit value problems for arbitrary bases and the complexity of satisfiability for constraint satisfaction problems for arbitrary sets of Boolean constraints.
منابع مشابه
Production du vaccin contre le virus aphteux de type SAT 1 et son contrôle à l'Institut National des Serums et Vaccins Razi (Iran) au cours de l'année 1963-1964
متن کامل
RÉSUMÉS DE SÉANCES ET DE CONGRÈS / CONGRESS REVIEWS Colloque de la Société de pathologie exotique : vers un contrôle mondial des hépatites virales ? 19 mai 2015, Institut Pasteur, Paris
L’hépatite virale dans le monde représente un fardeau majeur de santé publique avec 500 millions de personnes atteintes d’infection chronique (hépatites B et C) et environ un million de décès chaque année. Face à cette situation, l’Assemblée mondiale de la santé a adopté la résolution WHA 63.18 en 2010, demandant une approche intégrée pour prévenir et combattre l’hépatite virale. Au cours du co...
متن کاملEtude des lésions anatomo-pathologiques du typhus exanthématique au cours de l'épidémie de 1942-1943 en Iran
متن کامل
Interpretation Cytophotometrique Des Phenomenes Micronucleaires Au Cours De La Division Binaire Et Des Divisions Pregamiques Chez Paramecium Trichium
Le phenomene general de la biosynthese de I'ADN au cours de la division cellulaire et au cours de la meiose a fait l'objet de nombreux travaux. Au moyen de techniques diverses, cytophotom6triques et radioautographiques, un grand nombre de rsultats a te obtenu concernant la teneur en ADN des noyaux cellulaires des tissus des metazoaires. En ce qui concerne les protozoaires et en particulier les ...
متن کاملEmpirical relationships between watershed characteristics and coho salmon (Oncorhynchus kisutch) smolt abundance in 14 western Washington streams
We assembled data on coho salmon (Oncorhynchus kisutch) from 14 streams in western Washington, including annual smolt counts and annual escapement, either as absolute counts or as an index. We also compiled data on large woody debris (number·km–1 of stream), road densities in the watersheds (km road·km–2), gradient of the streams (%), valley slope adjacent to the stream (%), drainage area in th...
متن کامل