3 problems
- 0 votes0 replies0 views
Conjecture that the IP-based 2-step verification model is not NP-S-complete
Non-completeness conjecture. The IP-based model for {Sequencing to Minimize Tardy Tasks} is not -complete.
- 0 votes0 replies1 view
Conjecture for the dodecahedron protocol
Let be the dodecahedron protocol, and let and denote its verification quantities. An intelligent direction is a direction specified by the vector…
- 0 votes0 replies1 view
Conjecture on the polygon protocol's optimal verification value
Let be an integer and let . For the polygon protocol, denotes its optimal verification value. Polygon protocol conjecture. … Numerical calculation i…