{ "case": "D-differential-privacy", "config": { "schema_preset": "demo6", "n_records": 20, "dataset_seed": 20240501, "correlation": 0.6, "levels": [ 1, 2, 3 ], "include_zeros": true, "max_statistics": null, "statistics_seed": 7, "noise": { "kind": "none", "base": 5, "sigma": 1.0, "epsilon": 1.0, "clamp_negative": false }, "noise_label": "加工なし（正確な集計値）", "suppress_at_or_below": null, "disclose_suppression_rule": false }, "solver_config": { "solver": "ortools-cpsat", "mode": "auto", "max_solutions": 50, "time_limit": 60.0, "random_seed": 0, "representation": "record-type frequency" }, "privacy_model": { "neighbouring_relation": "add/remove one record (unbounded DP)", "per_table_l1_sensitivity": 1, "n_tables": 41, "composition": "sequential, budget split evenly across tables", "n_records_published_exactly": true, "caveat": "the epsilon guarantee covers the published tables, not N" }, "epsilons": [ 0.1, 0.5, 1.0, 5.0, 20.0, 100.0 ], "results": [ { "release": "加工なし（ε = ∞）", "noise": "加工なし（正確な集計値）", "n_statistics": 483, "mode": "exact", "unique_but_wrong": false, "mean_abs_error": 0.0, "max_abs_error": 0, "status": "OPTIMAL", "n_solutions_found": 1, "exhausted": true, "cap": 50, "candidate_count": 1, "candidate_count_label": "1", "unique": true, "objective": 0.0, "n_variables": 288, "n_constraints": 484, "wall_time": 0.0036, "timed_out": false, "n_candidates_evaluated": 1, "candidates_exhaustive": true, "expected_record_type_accuracy": 1.0, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 1.0, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 1.0, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 0, "exact": true } }, { "release": "Laplace ε=0.1", "noise": "Laplace 機構 ε=0.1", "n_statistics": 483, "mode": "soft", "unique_but_wrong": true, "mean_abs_error": 392.3292, "max_abs_error": 2067, "status": "OPTIMAL", "n_solutions_found": 1, "exhausted": true, "cap": 50, "candidate_count": 1, "candidate_count_label": "1", "unique": true, "objective": 461.3487804878049, "n_variables": 288, "n_constraints": 484, "wall_time": 0.3818, "timed_out": false, "n_candidates_evaluated": 1, "candidates_exhaustive": true, "expected_record_type_accuracy": 0.0, "expected_is_representative": true, "best_record_type_accuracy": 0.0, "worst_record_type_accuracy": 0.0, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.0, "attribute_accuracy": { "age_group": 0.5, "gender": 0.65, "region": 0.35, "occupation": 0.4, "disease_a": 0.5, "disease_b": 0.65 }, "mean_attribute_accuracy": 0.508333, "misplaced_records": 20, "exact": false } }, { "release": "Laplace ε=0.5", "noise": "Laplace 機構 ε=0.5", "n_statistics": 483, "mode": "soft", "unique_but_wrong": false, "mean_abs_error": 78.4534, "max_abs_error": 413, "status": "OPTIMAL", "n_solutions_found": 10, "exhausted": true, "cap": 50, "candidate_count": 10, "candidate_count_label": "10", "unique": false, "objective": 458.6951219512195, "n_variables": 288, "n_constraints": 484, "wall_time": 2.2819, "timed_out": false, "n_candidates_evaluated": 10, "candidates_exhaustive": true, "expected_record_type_accuracy": 0.045, "expected_is_representative": true, "best_record_type_accuracy": 0.05, "worst_record_type_accuracy": 0.0, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.05, "attribute_accuracy": { "age_group": 0.75, "gender": 0.65, "region": 0.5, "occupation": 0.55, "disease_a": 0.65, "disease_b": 0.8 }, "mean_attribute_accuracy": 0.65, "misplaced_records": 19, "exact": false } }, { "release": "Laplace ε=1", "noise": "Laplace 機構 ε=1", "n_statistics": 483, "mode": "soft", "unique_but_wrong": false, "mean_abs_error": 39.2381, "max_abs_error": 207, "status": "FEASIBLE", "n_solutions_found": 50, "exhausted": false, "cap": 50, "candidate_count": null, "candidate_count_label": ">50", "unique": false, "objective": 456.7804878048781, "n_variables": 288, "n_constraints": 484, "wall_time": 10.1207, "timed_out": false, "n_candidates_evaluated": 50, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.078, "expected_is_representative": false, "best_record_type_accuracy": 0.1, "worst_record_type_accuracy": 0.05, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.05, "attribute_accuracy": { "age_group": 0.8, "gender": 0.65, "region": 0.65, "occupation": 0.65, "disease_a": 0.85, "disease_b": 1.0 }, "mean_attribute_accuracy": 0.766667, "misplaced_records": 19, "exact": false } }, { "release": "Laplace ε=5", "noise": "Laplace 機構 ε=5", "n_statistics": 483, "mode": "soft", "unique_but_wrong": false, "mean_abs_error": 7.8468, "max_abs_error": 41, "status": "FEASIBLE", "n_solutions_found": 50, "exhausted": false, "cap": 50, "candidate_count": null, "candidate_count_label": ">50", "unique": false, "objective": 447.80487804878044, "n_variables": 288, "n_constraints": 484, "wall_time": 9.8506, "timed_out": false, "n_candidates_evaluated": 50, "candidates_exhaustive": false, "expected_record_type_accuracy": 0.162, "expected_is_representative": false, "best_record_type_accuracy": 0.2, "worst_record_type_accuracy": 0.15, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.15, "attribute_accuracy": { "age_group": 0.9, "gender": 0.85, "region": 0.9, "occupation": 0.9, "disease_a": 0.9, "disease_b": 1.0 }, "mean_attribute_accuracy": 0.908333, "misplaced_records": 17, "exact": false } }, { "release": "Laplace ε=20", "noise": "Laplace 機構 ε=20", "n_statistics": 483, "mode": "soft", "unique_but_wrong": false, "mean_abs_error": 1.9482, "max_abs_error": 10, "status": "OPTIMAL", "n_solutions_found": 4, "exhausted": true, "cap": 50, "candidate_count": 4, "candidate_count_label": "4", "unique": false, "objective": 441.46341463414626, "n_variables": 288, "n_constraints": 484, "wall_time": 3.0253, "timed_out": false, "n_candidates_evaluated": 4, "candidates_exhaustive": true, "expected_record_type_accuracy": 0.45, "expected_is_representative": true, "best_record_type_accuracy": 0.45, "worst_record_type_accuracy": 0.45, "any_candidate_exact": false, "first_candidate": { "record_type_accuracy": 0.45, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 0.95, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 0.991667, "misplaced_records": 11, "exact": false } }, { "release": "Laplace ε=100", "noise": "Laplace 機構 ε=100", "n_statistics": 483, "mode": "soft", "unique_but_wrong": false, "mean_abs_error": 0.2981, "max_abs_error": 2, "status": "OPTIMAL", "n_solutions_found": 1, "exhausted": true, "cap": 50, "candidate_count": 1, "candidate_count_label": "1", "unique": true, "objective": 351.2195121951219, "n_variables": 288, "n_constraints": 484, "wall_time": 1.8175, "timed_out": false, "n_candidates_evaluated": 1, "candidates_exhaustive": true, "expected_record_type_accuracy": 1.0, "expected_is_representative": true, "best_record_type_accuracy": 1.0, "worst_record_type_accuracy": 1.0, "any_candidate_exact": true, "first_candidate": { "record_type_accuracy": 1.0, "attribute_accuracy": { "age_group": 1.0, "gender": 1.0, "region": 1.0, "occupation": 1.0, "disease_a": 1.0, "disease_b": 1.0 }, "mean_attribute_accuracy": 1.0, "misplaced_records": 0, "exact": true } } ] }