Una prova di durezza NP di un problema NP-difficile è considerata un contributo?


18

Sto risolvendo un problema che si dice sia NP-difficile altrove, diciamo nel documento [XYZ]. La durezza NP fornita in [XYZ] è complicata e utilizza tecniche avanzate. Dopo alcune ricerche e lavori, sono riuscito a fornire una prova semplice e chiara della durezza NP. Mi chiedo se questo è considerato come un contributo o no? Sto cercando di motivare il mio lavoro ma non ho trovato un percorso simile.

Non so se questo è il posto giusto per chiedere o dovrei andare al mondo accademico?


15
La semplificazione delle prove è un tipo standard (e talvolta utile) di contributo. Vedi se la tua semplice prova generalizza per dimostrare qualcos'altro NP difficile (che forse non era già noto)
Ryan Williams

8
Se ti preoccupi abbastanza della semplificazione, puoi sempre semplicemente scriverla e pubblicarla su arxiv. Se altre persone si preoccupassero, prima o poi verrebbero citate. In generale, ottenere tali prove semplificate accettate da conferenze / riviste può essere una sfida.
Sariel Har-Peled,

8
Le prove semplificate spesso implicano / sfruttano una certa struttura del problema, quindi a volte si ottiene un risultato più forte sotto forma di "questo problema è NP-difficile anche nel caso limitato di ____". Se stai riducendo da un problema diverso, è possibile che tu abbia ulteriori proprietà su cui trasferire, come la durezza nell'approssimazione o la complessità parametrizzata, quindi cerca questo tipo di osservazioni più forti. Anche senza alcun rafforzamento, direi che una prova alternativa è ancora un contributo, soprattutto se è semplificata, ma concordo sul fatto che per alcuni è una vendita difficile.
JimN,

1
Prove più semplici sono sempre preferibili nei testi introduttivi o pedagociali. Quindi potresti voler scrivere un articolo di recensione o un capitolo di recensione per un libro in arrivo sulla tua zona (se sei uno studente, i supervisori di solito conoscono o sono coinvolti in tali attività) e dire "Il problema X è stato mostrato per la prima volta come NP- difficile da Z, diamo qui una dimostrazione semplificata: "Anche se la tua dimostrazione non è tecnicamente la più forte in alcuni parametri, ma molto più semplice della dimostrazione formalmente migliore, la tua esposizione potrebbe essere comunque molto rilevante per un testo introduttivo.
Martin Schwarz,

Risposte:


14

Ci sono luoghi che sono interessati da eleganti prove dei risultati esistenti, ad esempio il Simposio sulla semplicità negli algoritmi .

Quindi sì, in alcuni casi una prova elegante può essere considerata come un contributo, soprattutto se offre nuove intuizioni.


-2

Dipende da quale problema NP difficile. Un famoso (ad es. 3SAT) sarebbe un bel contributo. Uno dei problemi casuali di 15k NP-hard sarebbe meno.

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.