Wedi'i Gadw mewn:
| Prif Awduron: | , |
|---|---|
| Fformat: | Recurso digital |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Zenodo
2025
|
| Pynciau: | |
| Mynediad Ar-lein: | https://doi.org/10.5281/zenodo.16975655 |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Tabl Cynhwysion:
- <p>Housing allocation is a canonical indivisible resource allocation problem with urgent relevance in Germany’s housing crisis. Existing mechanisms lotteries, point systems, first-come-first-served lack provable fairness guarantees, are vulnerable to manipulation, and fail to incorporate predictive risk models.</p> <p>This preprint introduces WohnFair, the first framework to unify:<br><br>1. FairRent Algorithm — extension of α-fair scheduling to indivisible housing allocation, with proofs of non-starvation, proportional fairness, and O(n log m) scalability.<br>2. ZK-Lease Protocol — a Halo2/PLONK-based zero-knowledge eligibility system providing Sybil resistance and O(1) verification.<br>3. FairSurvival-GAN — a fairness-constrained survival analysis model that improves concordance index from 0.70→0.85 and reduces group fairness gaps to <5%.</p> <p>Experiments on Berlin, Munich, and Hamburg housing datasets show:<br>- Waitlist clearance time ↓41%<br>- Fraudulent applications ↓93%<br>- Group fairness gap ↓22%</p> <p>Status: Preprint on Zenodo. All code, reproducibility pipelines, and Dockerized implementations available at: [https://github.com/Aqib121201/WohnFair-cryptographically-auditable-housing-allocation-system].</p>