Als «complexity-classes» getaggte Fragen

21
Können typisierte Lambda-Kalküle * alle * Algorithmen unterhalb einer bestimmten Komplexität ausdrücken?

Ich weiß, dass die Komplexität der meisten Varietäten von typisierten Lambda-Kalkülen ohne das Y-Kombinator-Primitiv begrenzt ist, dh es können nur Funktionen mit begrenzter Komplexität ausgedrückt werden, wobei die Grenze größer wird, wenn die Ausdruckskraft des Typensystems zunimmt. Ich erinnere...

18
Steckenpuzzle

Problem: Wir erhalten eine Reihe von Sticks, die alle eine ganzzahlige Länge haben. Die Gesamtsumme ihrer Längen beträgt n (n + 1) / 2. Können wir sie in polynomielle Zeit um Stäbe der Größe zu erhalten? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} Überraschenderweise ist der einzige Hinweis, den ich für...