TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Using SMT Solvers to Analyze the Premier League Table

56 点作者 microarchitect大约 10 年前

3 条评论

Yadi大约 10 年前
Oh I saw this on reddit! This is an awesome way to understand what the SMT solvers are good at and what not to use them for. I&#x27;m a fan of EPL and Man UTD, I&#x27;ve given some thought few times to try figuring out if there would be a away to approach this sort of solution.<p>I wonder if this can be applied to other set of fixtures! For example in the FA cup, more accuracy with winning and lower rate of teams. Or the other leagues like La Liga.
评论 #9364857 未加载
oneeyedpigeon大约 10 年前
Presumably, due to the complexity of remaining fixtures, goal difference, etc. there are cases in which an outcome becomes certain at an unexpected time. Taking advantage of this would be an excellent way of &#x27;gaming&#x27; the betting exchanges - just hook this simulation into a results api and bet accordingly, as soon as a &#x27;triggering&#x27; result comes in. This is the very point in the season to attempt such a strategy.
zzleeper大约 10 年前
I had <i>no</i> clue that Z3 could be used for that..