Forschungsschwerpunkt: |
Lehrstuhl für Informatik IV
Institut für Informatik, Am Hubland, 97074 Würzburg Mail: wagner@informatik.uni-wuerzburg.de Url: http://theoretische.informatik.uni-wuerzburg.de/ |
Wissenschaftliche Mitglieder:
Professoren:
Wissenschaftliche Mitarbeiter:
Sonstige beteiligte Personen und Organisationen:
Forschungsschwerpunkte (und Projekte auf Basis der Grundausstattung):
Es wird das Problem untersucht, ob eine Teilmenge der natürlichen Zahlen, die von einem Schaltkreis über Schnitt, Vereinigung, Komplement, komplexe Addition und komplexe Multiplikation erzeugt wird, ein bestimmtes Element enthält.
Links:
The Complexity of Membership Problems for Circuits over Sets of Integers.