{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:MEPOTZOFNP2CHCYEVYVSMAX75S","short_pith_number":"pith:MEPOTZOF","schema_version":"1.0","canonical_sha256":"611ee9e5c56bf4238b04ae2b2602ffeca18878ba4380488e3821676c44bd4929","source":{"kind":"arxiv","id":"1402.5769","version":1},"attestation_state":"computed","paper":{"title":"Fractional programming formulation for the vertex coloring problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Atsushi Miyauchi, Noriyoshi Sukegawa, Tomomi Matsui","submitted_at":"2014-02-24T10:01:07Z","abstract_excerpt":"We devise a new formulation for the vertex coloring problem. Different from other formulations, decision variables are associated with the pairs of vertices. Consequently, colors will be distinguishable. Although the objective function is fractional, it can be replaced by a piece-wise linear convex function. Numerical experiments show that our formulation has significantly good performance for dense graphs."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1402.5769","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2014-02-24T10:01:07Z","cross_cats_sorted":[],"title_canon_sha256":"e1f44fc3738207e46835017f17a9125f5bad888c82892895c80f41d5d7d0045a","abstract_canon_sha256":"7e38834d45a5c7f94e3fb7f4ccd92cf7560f0882ae82b166ba7eaec1a9d52420"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:29:45.594483Z","signature_b64":"+S5rX0V+gMyGW+n4qY5ZH3UCyOHv1Ufob4WBFcyloPGmJZiEzsyuMMXweuCwAq5iUNbZFIFI5ejXAClrfYNdBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"611ee9e5c56bf4238b04ae2b2602ffeca18878ba4380488e3821676c44bd4929","last_reissued_at":"2026-05-18T02:29:45.594029Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:29:45.594029Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Fractional programming formulation for the vertex coloring problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Atsushi Miyauchi, Noriyoshi Sukegawa, Tomomi Matsui","submitted_at":"2014-02-24T10:01:07Z","abstract_excerpt":"We devise a new formulation for the vertex coloring problem. Different from other formulations, decision variables are associated with the pairs of vertices. Consequently, colors will be distinguishable. Although the objective function is fractional, it can be replaced by a piece-wise linear convex function. Numerical experiments show that our formulation has significantly good performance for dense graphs."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.5769","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1402.5769","created_at":"2026-05-18T02:29:45.594098+00:00"},{"alias_kind":"arxiv_version","alias_value":"1402.5769v1","created_at":"2026-05-18T02:29:45.594098+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.5769","created_at":"2026-05-18T02:29:45.594098+00:00"},{"alias_kind":"pith_short_12","alias_value":"MEPOTZOFNP2C","created_at":"2026-05-18T12:28:38.356838+00:00"},{"alias_kind":"pith_short_16","alias_value":"MEPOTZOFNP2CHCYE","created_at":"2026-05-18T12:28:38.356838+00:00"},{"alias_kind":"pith_short_8","alias_value":"MEPOTZOF","created_at":"2026-05-18T12:28:38.356838+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MEPOTZOFNP2CHCYEVYVSMAX75S","json":"https://pith.science/pith/MEPOTZOFNP2CHCYEVYVSMAX75S.json","graph_json":"https://pith.science/api/pith-number/MEPOTZOFNP2CHCYEVYVSMAX75S/graph.json","events_json":"https://pith.science/api/pith-number/MEPOTZOFNP2CHCYEVYVSMAX75S/events.json","paper":"https://pith.science/paper/MEPOTZOF"},"agent_actions":{"view_html":"https://pith.science/pith/MEPOTZOFNP2CHCYEVYVSMAX75S","download_json":"https://pith.science/pith/MEPOTZOFNP2CHCYEVYVSMAX75S.json","view_paper":"https://pith.science/paper/MEPOTZOF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1402.5769&json=true","fetch_graph":"https://pith.science/api/pith-number/MEPOTZOFNP2CHCYEVYVSMAX75S/graph.json","fetch_events":"https://pith.science/api/pith-number/MEPOTZOFNP2CHCYEVYVSMAX75S/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MEPOTZOFNP2CHCYEVYVSMAX75S/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MEPOTZOFNP2CHCYEVYVSMAX75S/action/storage_attestation","attest_author":"https://pith.science/pith/MEPOTZOFNP2CHCYEVYVSMAX75S/action/author_attestation","sign_citation":"https://pith.science/pith/MEPOTZOFNP2CHCYEVYVSMAX75S/action/citation_signature","submit_replication":"https://pith.science/pith/MEPOTZOFNP2CHCYEVYVSMAX75S/action/replication_record"}},"created_at":"2026-05-18T02:29:45.594098+00:00","updated_at":"2026-05-18T02:29:45.594098+00:00"}