Ispirato alla domanda è il factoring noto per essere P-hard , mi chiedo quale sia l'attuale stato di conoscenza simile sulla durezza dell'isomorfismo grafico. Sono sicuro che al momento non è noto se GI sia in P, ma:
qual è la classe più grande attualmente conosciuta che GI è più difficile di?
(non è stata data risposta a una domanda simile )
Per rispondere ad alcuni dei commenti, voglio conoscere le classi massime attualmente conosciute per le quali GI, il problema è completo. Gli algoritmi noti per IG sono limitati da funzioni superpolinomiali ed è un membro di NP. Ma non è noto che l'IG sia difficile. Mi piacerebbe conoscere tutte le classi C per le quali è noto che è C-hard e, si spera, il più inclusivo possibile.
2
"non è stata data risposta a una domanda analoga" Davvero? Penso che la risposta di Joshua Grochow qui risponda alla domanda qui.
—
Tyson Williams,
Guarda la sezione "Classe di complessità GI" qui: en.wikipedia.org/wiki/Graph_isomorphism_problem
—
Aaron Sterling
@Tyson e chiunque abbia votato a favore del suo commento: penso che ciò che Mitch sta dicendo sia che la risposta lì dà solo limiti superiori all'isomorfismo grafico, non alla durezza dell'isomorfismo grafico.
—
Tsuyoshi Ito,
Vorrei aggiungere che non vedo questo come una domanda duplicata. La risposta di Giosuè dà limiti superiori. Questa domanda suona più come "GI è almeno AC0 difficile?" - sì, d'accordo con @Tsuyoshi.
—
Aaron Sterling,
Per i grafici planari è noto per essere completo per L ... Vedi theorie.informatik.uni-ulm.de/Personen/toran/beatcs/…
—
Joshua Herman,