Cho là một tập các từ (word). Từ tập , ta có thể tạo ra các chuỗi (string) bằng cách viết liền các từ của (mỗi từ có thể sử dụng nhiều lần). Giả sử là một chuỗi tạo ra bằng cách trên: với , khi đó được gọi là một dẫn xuất của chuỗi . Rõ ràng là một chuỗi có thể có nhiều dẫn xuất, ví dụ: .
Tập được gọi là một bộ mã nếu không tồn tại chuỗi nào có nhiều hơn một dẫn xuất. Khi đó, mọi dãy các số tự nhiên nhỏ hơn đều có thể mã hóa thành một chuỗi mà chỉ có một cách giải mã. Bài toán kiểm định mã là kiểm tra xem có phải là một bộ mã hay không.
Yêu cầu: Kiểm tra xem có phải là một bộ mã hay không. Trong trường hợp không phải là một bộ mã, hãy tìm chuỗi ngắn nhất có nhiều hơn một dẫn xuất.
Dữ liệu vào:
Dòng đầu tiên chứa là lực lượng tập ;
dòng tiếp theo, mỗi dòng chứa một từ của . Các từ chỉ chứa các chữ cái latin thường; Tổng độ dài các từ không quá và không có hai từ nào giống nhau.
Dữ liệu ra:
Nếu là một bộ mã, in ra ;
Ngược lại, in ra chuỗi ngắn nhất có nhiều hơn một dẫn xuất. Trong trường hợp có nhiều chuỗi ngắn nhất, in ra chuỗi có thứ tự từ điển nhỏ nhất.
Ví dụ:
Dữ liệu vào:
3
ab
ba
a
Dữ liệu ra:
aba
Dữ liệu vào:
2
a
b
Dữ liệu ra:
-1
Giới hạn:
Subtask : Các từ chỉ gồm các ký tự a, b, c và có không quá từ trong tập ; kết quả hoặc là hoặc là một chuỗi có độ dài không quá .
Subtask : tổng độ dài các từ không quá ; kết quả hoặc là hoặc là một chuỗi có độ dài không quá .
