結果
| 問題 | No.3408 1215 Segments |
| コンテスト | |
| ユーザー |
 kencho
|
| 提出日時 | 2025-11-25 04:57:48 |
| 言語 | Java (openjdk 23) |
| 結果 |
AC
|
| 実行時間 | 1,391 ms / 2,500 ms |
| コード長 | 17,064 bytes |
| 記録 | |
| コンパイル時間 | 4,654 ms |
| コンパイル使用メモリ | 91,080 KB |
| 実行使用メモリ | 52,972 KB |
| 最終ジャッジ日時 | 2025-12-14 23:30:41 |
| 合計ジャッジ時間 | 25,723 ms |
|
ジャッジサーバーID （参考情報） |
judge2 / judge5 |
（要ログイン）
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 4 |
| other | AC * 46 |
ソースコード
import java.util.Arrays;
public class WriterCode {
public static final int MOD998 = 998244353;
public static final int MOD100 = 1000000007;
// Segment definitions from Tester.java
static int[][] segs = new int[][] {
{ 0, 1, 2, 3, 4, 5 }, // 0
{ 1, 2 }, // 1
{ 0, 1, 3, 4, 6 }, // 2
{ 0, 1, 2, 3, 6 }, // 3
{ 1, 2, 5, 6 }, // 4
{ 0, 2, 3, 5, 6 }, // 5
{ 0, 2, 3, 4, 5, 6 }, // 6
{ 0, 1, 2 }, // 7
{ 0, 1, 2, 3, 4, 5, 6 }, // 8
{ 0, 1, 2, 3, 5, 6 } // 9
};
public static void main(String[] args) throws Exception {
ContestScanner sc = new ContestScanner();
ContestPrinter cp = new ContestPrinter();
long n = sc.nextLong();
String s = String.valueOf(n);
int len = s.length();
String ans = null;
for (int l = len; l <= len + 1; l++) {
minForLen = null;
int[] counts = new int[10];
dfs(0, l, counts, s);
if (minForLen != null) {
ans = minForLen;
break;
}
}
cp.println(ans);
cp.close();
}
static String minForLen = null;
// DFS to generate all digit distributions summing to 'total'
static void dfs(int digit, int remaining, int[] counts, String targetStr) {
if (digit == 9) {
counts[9] = remaining;
checkAndUpdate(counts, targetStr);
counts[9] = 0; // backtrack
return;
}
for (int i = 0; i <= remaining; i++) {
counts[digit] = i;
dfs(digit + 1, remaining - i, counts, targetStr);
}
counts[digit] = 0; // backtrack
}
static void checkAndUpdate(int[] counts, String targetStr) {
if (isValidDistribution(counts)) {
String candidate = findSmallest(counts, targetStr);
if (candidate != null) {
if (minForLen == null) {
minForLen = candidate;
} else {
if (candidate.length() < minForLen.length()
|| (candidate.length() == minForLen.length() && candidate.compareTo(minForLen) < 0)) {
minForLen = candidate;
}
}
}
}
}
// Check if the distribution can satisfy equal segment usage
static boolean isValidDistribution(int[] cnt) {
int[] segcnt = new int[7];
for (int i = 0; i < 10; i++) {
for (int s : segs[i]) {
segcnt[s] += cnt[i];
}
}
// Logic from Tester.java
if ((segcnt[2] + segcnt[4]) % 2 != 0)
return false;
int base = (segcnt[2] + segcnt[4]) / 2;
int nine = segcnt[3] - base;
int one = base - segcnt[4];
int zero = (segcnt[1] - one) - base;
int seven = base - (segcnt[5] - zero + one);
int six = (segcnt[0] - zero) - base;
if (one < 0 || zero < 0 || seven < 0 || six < 0)
return false;
if (one > cnt[1])
return false;
if (zero > cnt[0])
return false;
if (seven > cnt[7])
return false;
if (six > cnt[6])
return false;
// Added check for nine
if (nine < 0 || nine > cnt[9])
return false;
if (segcnt[0] - zero - six != base)
return false;
if (segcnt[1] - one - zero != base)
return false;
if (segcnt[2] - one != base)
return false;
if (segcnt[3] - nine != base)
return false;
if (segcnt[4] + one != base)
return false;
if (segcnt[5] - zero + one + seven != base)
return false;
if (segcnt[6] + zero != base)
return false;
return true;
}
// Find smallest permutation >= targetStr
static String findSmallest(int[] counts, String targetStr) {
int totalDigits = 0;
for (int c : counts)
totalDigits += c;
if (totalDigits > targetStr.length()) {
// Find smallest non-zero digit for the first position
for (int d = 1; d <= 9; d++) {
if (counts[d] > 0) {
StringBuilder sb = new StringBuilder();
sb.append(d);
counts[d]--;
// Append remaining digits in increasing order
for (int k = 0; k <= 9; k++) {
for (int j = 0; j < counts[k]; j++) {
sb.append(k);
}
}
counts[d]++; // backtrack
return sb.toString();
}
}
return null; // Should not happen if totalDigits > 0 and not all zeros
} else {
// Same length, need >= targetStr
return solveRecursive(0, true, counts, targetStr);
}
}
static String solveRecursive(int idx, boolean tight, int[] counts, String targetStr) {
if (idx == targetStr.length()) {
return "";
}
int start = tight ? (targetStr.charAt(idx) - '0') : 0;
for (int d = start; d <= 9; d++) {
if (counts[d] > 0) {
counts[d]--;
boolean nextTight = tight && (d == start);
// Optimization: if not tight, we can just fill with smallest digits
if (!nextTight) {
StringBuilder sb = new StringBuilder();
sb.append(d);
for (int k = 0; k <= 9; k++) {
for (int j = 0; j < counts[k]; j++) {
sb.append(k);
}
}
counts[d]++; // backtrack
return sb.toString();
}
String res = solveRecursive(idx + 1, nextTight, counts, targetStr);
if (res != null) {
counts[d]++; // backtrack
return d + res;
}
counts[d]++; // backtrack
}
}
return null;
}
static class ContestScanner {
private final java.io.InputStream in;
private final byte[] buffer = new byte[1024];
private int ptr = 0;
private int buflen = 0;
private static final long LONG_MAX_TENTHS = 922337203685477580L;
private static final int LONG_MAX_LAST_DIGIT = 7;
private static final int LONG_MIN_LAST_DIGIT = 8;
public ContestScanner(java.io.InputStream in) {
this.in = in;
}
public ContestScanner() {
this(System.in);
}
private boolean hasNextByte() {
if (ptr < buflen) {
return true;
} else {
ptr = 0;
try {
buflen = in.read(buffer);
} catch (java.io.IOException e) {
e.printStackTrace();
}
if (buflen <= 0) {
return false;
}
}
return true;
}
private int readByte() {
if (hasNextByte())
return buffer[ptr++];
else
return -1;
}
private static boolean isPrintableChar(int c) {
return 33 <= c && c <= 126;
}
public boolean hasNext() {
while (hasNextByte() && !isPrintableChar(buffer[ptr]))
ptr++;
return hasNextByte();
}
public String next() {
if (!hasNext())
throw new java.util.NoSuchElementException();
StringBuilder sb = new StringBuilder();
int b = readByte();
while (isPrintableChar(b)) {
sb.appendCodePoint(b);
b = readByte();
}
return sb.toString();
}
public long nextLong() {
if (!hasNext())
throw new java.util.NoSuchElementException();
long n = 0;
boolean minus = false;
int b = readByte();
if (b == '-') {
minus = true;
b = readByte();
}
if (b < '0' || '9' < b) {
throw new NumberFormatException();
}
while (true) {
if ('0' <= b && b <= '9') {
int digit = b - '0';
if (n >= LONG_MAX_TENTHS) {
if (n == LONG_MAX_TENTHS) {
if (minus) {
if (digit <= LONG_MIN_LAST_DIGIT) {
n = -n * 10 - digit;
b = readByte();
if (!isPrintableChar(b)) {
return n;
} else if (b < '0' || '9' < b) {
throw new NumberFormatException(
String.format("%d%s... is not number", n, Character.toString(b)));
}
}
} else {
if (digit <= LONG_MAX_LAST_DIGIT) {
n = n * 10 + digit;
b = readByte();
if (!isPrintableChar(b)) {
return n;
} else if (b < '0' || '9' < b) {
throw new NumberFormatException(
String.format("%d%s... is not number", n, Character.toString(b)));
}
}
}
}
throw new ArithmeticException(
String.format("%s%d%d... overflows long.", minus ? "-" : "", n, digit));
}
n = n * 10 + digit;
} else if (b == -1 || !isPrintableChar(b)) {
return minus ? -n : n;
} else {
throw new NumberFormatException();
}
b = readByte();
}
}
public int nextInt() {
long nl = nextLong();
if (nl < Integer.MIN_VALUE || nl > Integer.MAX_VALUE)
throw new NumberFormatException();
return (int) nl;
}
public double nextDouble() {
return Double.parseDouble(next());
}
public long[] nextLongArray(int length) {
long[] array = new long[length];
for (int i = 0; i < length; i++)
array[i] = this.nextLong();
return array;
}
public long[] nextLongArray(int length, java.util.function.LongUnaryOperator map) {
long[] array = new long[length];
for (int i = 0; i < length; i++)
array[i] = map.applyAsLong(this.nextLong());
return array;
}
public int[] nextIntArray(int length) {
int[] array = new int[length];
for (int i = 0; i < length; i++)
array[i] = this.nextInt();
return array;
}
public int[][] nextIntArrayMulti(int length, int width) {
int[][] arrays = new int[width][length];
for (int i = 0; i < length; i++) {
for (int j = 0; j < width; j++)
arrays[j][i] = this.nextInt();
}
return arrays;
}
public int[] nextIntArray(int length, java.util.function.IntUnaryOperator map) {
int[] array = new int[length];
for (int i = 0; i < length; i++)
array[i] = map.applyAsInt(this.nextInt());
return array;
}
public double[] nextDoubleArray(int length) {
double[] array = new double[length];
for (int i = 0; i < length; i++)
array[i] = this.nextDouble();
return array;
}
public double[] nextDoubleArray(int length, java.util.function.DoubleUnaryOperator map) {
double[] array = new double[length];
for (int i = 0; i < length; i++)
array[i] = map.applyAsDouble(this.nextDouble());
return array;
}
public long[][] nextLongMatrix(int height, int width) {
long[][] mat = new long[height][width];
for (int h = 0; h < height; h++)
for (int w = 0; w < width; w++) {
mat[h][w] = this.nextLong();
}
return mat;
}
public int[][] nextIntMatrix(int height, int width) {
int[][] mat = new int[height][width];
for (int h = 0; h < height; h++)
for (int w = 0; w < width; w++) {
mat[h][w] = this.nextInt();
}
return mat;
}
public double[][] nextDoubleMatrix(int height, int width) {
double[][] mat = new double[height][width];
for (int h = 0; h < height; h++)
for (int w = 0; w < width; w++) {
mat[h][w] = this.nextDouble();
}
return mat;
}
public char[][] nextCharMatrix(int height, int width) {
char[][] mat = new char[height][width];
for (int h = 0; h < height; h++) {
String s = this.next();
for (int w = 0; w < width; w++) {
mat[h][w] = s.charAt(w);
}
}
return mat;
}
}
static class ContestPrinter extends java.io.PrintWriter {
public ContestPrinter(java.io.PrintStream stream) {
super(stream);
}
public ContestPrinter() {
super(System.out);
}
private static String dtos(double x, int n) {
StringBuilder sb = new StringBuilder();
if (x < 0) {
sb.append('-');
x = -x;
}
x += Math.pow(10, -n) / 2;
sb.append((long) x);
sb.append(".");
x -= (long) x;
for (int i = 0; i < n; i++) {
x *= 10;
sb.append((int) x);
x -= (int) x;
}
return sb.toString();
}
@Override
public void print(float f) {
super.print(dtos(f, 20));
}
@Override
public void println(float f) {
super.println(dtos(f, 20));
}
@Override
public void print(double d) {
super.print(dtos(d, 20));
}
@Override
public void println(double d) {
super.println(dtos(d, 20));
}
public void printArray(int[] array, String separator) {
int n = array.length;
for (int i = 0; i < n - 1; i++) {
super.print(array[i]);
super.print(separator);
}
super.println(array[n - 1]);
}
public void printArray(int[] array) {
this.printArray(array, " ");
}
public void printArray(int[] array, String separator, java.util.function.IntUnaryOperator map) {
int n = array.length;
for (int i = 0; i < n - 1; i++) {
super.print(map.applyAsInt(array[i]));
super.print(separator);
}
super.println(map.applyAsInt(array[n - 1]));
}
public void printArray(int[] array, java.util.function.IntUnaryOperator map) {
this.printArray(array, " ", map);
}
public void printArray(long[] array, String separator) {
int n = array.length;
for (int i = 0; i < n - 1; i++) {
super.print(array[i]);
super.print(separator);
}
super.println(array[n - 1]);
}
public void printArray(long[] array) {
this.printArray(array, " ");
}
public void printArray(long[] array, String separator, java.util.function.LongUnaryOperator map) {
int n = array.length;
for (int i = 0; i < n - 1; i++) {
super.print(map.applyAsLong(array[i]));
super.print(separator);
}
super.println(map.applyAsLong(array[n - 1]));
}
public void printArray(long[] array, java.util.function.LongUnaryOperator map) {
this.printArray(array, " ", map);
}
}
}