Keywords: الگوریتم های گواهی; Planar graphs; Map graphs; Certifying algorithms;
مقالات ISI الگوریتم های گواهی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Forbidden induced subgraphs of normal Helly circular-arc graphs: Characterization and detection
Keywords: الگوریتم های گواهی; Certifying algorithms; Linear-time; (proper) interval graphs; Chordal graphs; (minimal) forbidden induced subgraphs; Holes; (normal, Helly, proper) circular-arc models;
Complexity of coloring graphs without paths and cycles
Keywords: الگوریتم های گواهی; Coloring; Certifying algorithms; Paths and cycles; NP-complete; Obstructions;
Linear-time certifying algorithms for the path cover and Hamiltonian cycle problems on interval graphs
Keywords: الگوریتم های گواهی; Certifying algorithms; Path cover; Hamiltonian cycle; Interval graphs;
Fully dynamic recognition algorithm and certificate for directed cographs
Keywords: الگوریتم های گواهی; Dynamic algorithms; Directed cographs; Certifying algorithms
Deductive Runtime Certification
Keywords: الگوریتم های گواهی; Verification; certifying algorithms; program correctness; proofs; certificates; Athena; DPLs;
Efficient parallel recognition of cographs
Keywords: الگوریتم های گواهی; Perfect graphs; Cographs; Cotree; Connected and co-connected components; Parallel algorithms; Parallel recognition; Certifying algorithms;