有一个二分图,左侧有 个顶点,右侧有 个顶点。用 表示左侧顶点 与右侧顶点 之间是否存在边。若 ,则存在边;若 ,则不存在边。
你知道图的全部信息,但另一个人一开始完全不知道哪些边存在。
你可以选择任意顶点对 ,公开这两个顶点之间是否存在边。公开 的信息需要花费 。总费用为所有被公开顶点对的费用之和。
对于没有公开的顶点对,其边是否存在仍然未知。只要不与已经公开的信息矛盾,每个未公开顶点对的边都可以彼此独立地任意决定是否存在。
如果所有与公开信息相符的二分图的最大匹配大小都与原图的最大匹配大小相同,则称已经公开了足够的信息。
求公开足够信息所需的最小总费用。
输入格式如下。
输出公开足够信息所需的最小总费用。
是一个长度为 的二进制字符串,其第 个字符表示 。