Local certification of graphs with bounded genus
Laurent Feuilloley, Pierre Fraigniaud, Pedro Montealegre, Iván Rapaport, Éric Rémila, Ioan Todinca
Topics & Concepts
Gas meter proverComputer scienceBounded functionMathematical proofProtocol (science)CompilerDiscrete mathematicsTheoretical computer scienceClass (philosophy)GenusCombinatoricsMathematicsProgramming languageMathematical analysisMedicinePathologyBotanyAlternative medicineArtificial intelligenceBiologyGeometryCryptography and Data SecurityComplexity and Algorithms in GraphsDistributed systems and fault tolerance